From event-oriented models to transition systems

DOI10.1007/978-3-319-91268-4_7zbMath1427.68183OpenAlexW2800189394MaRDI QIDQ2280183

I. B. Virbitskaite, Nataliya Gribovskaya, Eike Best

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)

Related Items

Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures