Paper Details

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

Observing Processes

Authors: 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"
Lawrence, Adrian E.

Abstract:

This paper discusses the sorts of observations of processes that are appropriate to capture priority. The standard denotational semantics for CSP are based around observations of traces and refusals. Choosing to record a little more detail allows extensions of CSP which describe some very general processes including those that include priority. A minimal set of observations yields a language and semantics remarkably close to the standard Failures-Divergences model of CSP which is described in a companion paper. A slightly richer set of observations yields a somewhat less abstract language.

Proceedings:

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

Communicating Process Architectures 2004, db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch, 2004, pp 147 - 156 db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
published by IOS Press, Amsterdam

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"
Files: PDF

This record in other formats:

Web page: BibTEX, Refer
Plain text: BibTEX, Refer

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.