From event-oriented models to transition systems

DOI10.1007/978-3-319-91268-4_7zbMATH Open1427.68183OpenAlexW2800189394MaRDI QIDQ2280183FDOQ2280183

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

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

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)

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
• Title not available (Why is that?)
• 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)