Abstract

Readiness and failure semantics are studied in the setting of Algebra of Communicating
Processes (ACP). A model of process graphs modulo readiness equivalence, respectively, failure equivalence,
is constructed, and an equational axiom system is presented which is complete for this graph model. An
explicit representation of the graph model is given, the failure
... read more