Transition systems from event structures revisited

DOI10.1016/S0020-0190(98)00105-7MaRDI QIDQ293333zbMATH OpenFDO

Authors Markus Roggenbach, Mila 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

concurrencytransition systemsevent structuresbisimulationformal semantics

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)

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• A calculus of communicating systems
• A final coalgebra theorem
• Bisimulation from open maps
• The connection between an event structure semantics and an operational semantics for TCSP
• Towards a unified view of bisimulation: A comparative study

Cited in

(13)

• Attributed transition systems with hidden transitions
• scientific article; zbMATH DE number 1231548 (Why is no real title available?)
• Towards a unified view of bisimulation: A comparative study
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• Relating conflict-free stable transition and event models via redex families
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 4092789 (Why is no real title available?)
• scientific article; zbMATH DE number 7020132 (Why is no real title available?)
• A Monotonic Formalism for Events and Systems of Events
• Analysis of the structure of attributed transition systems without hidden transitions
• Taking decisions late: end-based choice combined with action refinement
• Folk Theorems on the Correspondence between State-Based and Event-Based Systems

This page was built for publication: Transition systems from event structures revisited

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