Transition systems from event structures revisited

DOI10.1016/S0020-0190(98)00105-7zbMath1339.68190MaRDI QIDQ293333

Markus Roggenbach, Mila E. Majster-Cederbaum

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098001057?np=y

zbMATH Keywords

formal semanticsbisimulationconcurrencytransition systemsevent structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures, Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict, Unnamed Item, Towards a unified view of bisimulation: A comparative study

Cites Work

• A calculus of communicating systems
• The connection between an event structure semantics and an operational semantics for TCSP
• Towards a unified view of bisimulation: A comparative study
• Bisimulation from open maps
• A final coalgebra theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item