Pages that link to "Item:Q1892885"
From MaRDI portal
The following pages link to Transition systems, event structures, and unfoldings (Q1892885):
Displaying 12 items.
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- Elementary transition systems (Q1190485) (← links)
- Elementary transition systems and refinement (Q1323371) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Attributed transition systems with hidden transitions (Q1709456) (← links)
- Stability of regional orthomodular posets under synchronisation and refinement (Q2032837) (← links)
- A counterexample to Thiagarajan's conjecture on regular event structures (Q2186822) (← links)
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems (Q3075540) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- (Q4028627) (← links)
- Statecharts, transition structures and transformations (Q5096749) (← links)
- Comparing transition systems with independence and asynchronous transition systems (Q6104367) (← links)