Pages that link to "Item:Q293333"
From MaRDI portal
The following pages link to Transition systems from event structures revisited (Q293333):
Displayed 4 items.
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- (Q2844828) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)