On the operational semantics of nondeterminism and divergence

DOI10.1016/0304-3975(95)00166-2zbMath0871.68123OpenAlexW2028257344MaRDI QIDQ1350504

O. Diekmann

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://nrc-publications.canada.ca/eng/view/accepted/?id=956a76ec-3741-453f-aaf0-49146ebc0966

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Fair testing

Cites Work

• Observation equivalence as a testing equivalence
• Specification-oriented semantics for communicating processes
• Algebra of communicating processes with abstraction
• A context dependent equivalence between processes
• Extensional equivalences for transition systems
• A calculus of communicating systems
• The equivalence in the DCP model
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Testing equivalences for processes
• A structural approach to operational semantics
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the operational semantics of nondeterminism and divergence