Transition systems, event structures, and unfoldings
From MaRDI portal
(Redirected from Publication:1892885)
Recommendations
Cited in
(14)- Relating conflict-free stable transition and event models via redex families
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems
- Comparing transition systems with independence and asynchronous transition systems
- Attributed transition systems with hidden transitions
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Analysis of the structure of attributed transition systems without hidden transitions
- From event-oriented models to transition systems
- scientific article; zbMATH DE number 140240 (Why is no real title available?)
- Elementary transition systems
- Statecharts, transition structures and transformations
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Stability of regional orthomodular posets under synchronisation and refinement
- On the origin of events: branching cells as stubborn sets
- A counterexample to Thiagarajan's conjecture on regular event structures
This page was built for publication: Transition systems, event structures, and unfoldings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892885)
