Pages that link to "Item:Q293333"
From MaRDI portal
The following pages link to Transition systems from event structures revisited (Q293333):
Displaying 13 items.
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Attributed transition systems with hidden transitions (Q1709456) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems (Q3075540) (← links)
- (Q3820020) (← links)
- (Q4028627) (← links)
- (Q4222864) (← links)
- A Monotonic Formalism for Events and Systems of Events (Q4316300) (← links)
- (Q4621133) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)