db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{SmithHughes03,
  title =        "{T}he denotational {S}emantics of {V}iew-{C}entric {R}easoning",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Smith,  Marc L. and Hughes,  Charles E. and Burke,  Kyle W.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Broenink,  Jan F. and Hilderink,  Gerald H.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  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."
}