Skip to main content
Article thumbnail
Location of Repository

Readies and failures in the algebra of communicating processes

By J.A. Bergstra, J.W. Klop and E.-R. Olderog

Abstract

Readiness and failure semantics are studied in the setting of Algebra of Communicating\ud Processes (ACP). A model of process graphs modulo readiness equivalence, respectively, failure equivalence,\ud is constructed, and an equational axiom system is presented which is complete for this graph model. An\ud explicit representation of the graph model is given, the failure model, whose elements are failure sets.\ud Furthermore, a characterisation of failure equivalence is obtained as the maximal congruence which is\ud consistent with trace semantics. By suitably restricting the communication format in ACP, this result is\ud shown to carry over to subsets of Hoare's Communicating Sequential Processes (CSP) and Milner's Calculus\ud of Communicating Systems (CCS). Also, the characterisation implies a full abstraction result for the failure\ud model. In the above we restrict ourselves to finite processes without r-steps. At the end of the paper a\ud comment is made on the situation for infinite processes with r-steps: notably we obtain that failure semantics\ud is incompatible with Koomen's fair abstraction rule, a proof principle based on the notion of bisimulation.\ud This is remarkable because a weaker version of Koomen's fair abstraction rule is consistent with (finite)\ud failure semantics

Topics: Wijsbegeerte, process algebra, concurrency, readiness semantics, failure semantics, bisimulation semantics
Year: 1988
OAI identifier: oai:dspace.library.uu.nl:1874/23489
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.