Pages that link to "Item:Q2280183"
From MaRDI portal
The following pages link to From event-oriented models to transition systems (Q2280183):
Displaying 4 items.
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems (Q3075540) (← links)
- (Q4028627) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)