Paper Details

@InProceedings{SmithHughes03,
  title = "{T}he denotational {S}emantics of {V}iew-{C}entric {R}easoning",
  author= "Smith, Marc L. and Hughes, Charles E. and Burke, Kyle W.",
  editor= "Broenink, Jan F. and Hilderink, Gerald H.",
  pages = "91--98",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2003",
  isbn= "1 58603 381 6",
  year= "2003",
  month= "sep",
  abstract= "Both Lawrence’s HCSP [1] and Smith, et al’s VCR [2] (an
     earlier versionappears in [3]) extend CSP [4] with
     representations of truly concurrent events. Previously,VCR
     was described using an operational semantics, while the
     semantics ofHCSP’s Acceptances model, like those of the
     predominant CSP models described byRoscoe [5] (e.g., Traces,
     Failures / Divergences), are denotational. We now present
     adenotational semantics for VCRand, in so doing, propose an
     extension toHCSP (andpossibly other existing CSP models) to
     support View-Centric Reasoning. This workbrings VCR a step
     closer to being drawn within Hoare and He’s Unifying
     Theories ofProgramming [6] for further comparisons."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.