From event-oriented models to transition systems

DOI10.1007/978-3-319-91268-4_7MaRDI QIDQ2280183zbMATH OpenOpenAlexFDO

Authors Eike Best, N. S. Gribovskaya, I. B. Virbitskaite

Publication date 18 December 2019

Full work available at URL https://doi.org/10.1007/978-3-319-91268-4_7

zbMATH Keywords

transition systemsevent structuresconfiguration structures

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• Transition systems, event structures, and unfoldings
• Verification and comparison of transition systems
• scientific article; zbMATH DE number 1361485
• scientific article; zbMATH DE number 4018369

Cited in

(5)

• Relating conflict-free stable transition and event models via redex families
• Folk Theorems on the Correspondence between State-Based and Event-Based Systems
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures

This page was built for publication: From event-oriented models to transition systems

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