scientific article

zbMath0516.68024MaRDI QIDQ3664417

Stephen Brookes

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

observation equivalencecommunicating sequential processescalculus of communicating systemsfailure equivalenceequivalence relation on synchronisation trees

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Infinite streams and finite observations in the semantics of uniform concurrency, Rewriting with a nondeterministic choice operator, Synchronization trees, On the analysis of cooperation and antagonism in networks of communicating processes, A compositional proof system on a category of labelled transition systems, Trace, failure and testing equivalences for communicating processes, Concurrent transition systems, Coupled similarity: the first 32 years, Notes on the methodology of CCS and CSP, Translation of CCS into CSP, correct up to strong bisimulation, Unnamed Item, CCS expressions, finite state processes, and three problems of equivalence, Unnamed Item, The equivalence in the DCP model, CSP is a retract of CCS, Multiple Viewpoint Contract-Based Specification and Design, A linear-history semantics for languages for distributed programming, Specification-oriented semantics for communicating processes, Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)