Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T The denotational Semantics of View\-Centric Reasoning
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Marc L. Smith, Charles E. Hughes, Kyle W. Burke
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Jan F. Broenink, Gerald H. Hilderink
%B Communicating Process Architectures 2003
%X 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.