Readies and Failures in the Algebra of Communicating Processes

DOI10.1137/0217073MaRDI QIDQ3833645zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog

Publication date 1988

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/23489

zbMATH Keywords

bisimulation semanticsconcurrencyfailure semanticsprocess algebrareadiness semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Trace, failure and testing equivalences for communicating processes
• scientific article; zbMATH DE number 3928330
• Algebra of communicating processes with abstraction
• scientific article; zbMATH DE number 3903948
• scientific article; zbMATH DE number 1231450

Cited in

(19)

• Specification-oriented semantics for communicating processes
• On the consistency of Koomen's fair abstraction rule
• Trace, failure and testing equivalences for communicating processes
• Global renaming operators in concrete process algebra
• Algebraic and fixed point equations over inverse limits of algebras
• Petri net semantics of priority systems
• Structured operational semantics and bisimulation as a congruence
• On deciding trace equivalences for processes
• Full abstraction and recursion
• A fully abstract model for the exchange of information in multi-agent systems.
• Towards general axiomatizations for bisimilarity and trace semantics
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 3990852 (Why is no real title available?)
• scientific article; zbMATH DE number 4055005 (Why is no real title available?)
• scientific article; zbMATH DE number 1231586 (Why is no real title available?)
• On deciding some equivalences for concurrent processes
• scientific article; zbMATH DE number 1086670 (Why is no real title available?)
• scientific article; zbMATH DE number 1497789 (Why is no real title available?)
• Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings

This page was built for publication: Readies and Failures in the Algebra of Communicating Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3833645)