Pages that link to "Item:Q338613"
From MaRDI portal
The following pages link to Reduction of event structures under history preserving bisimulation (Q338613):
Displaying 4 items.
- On the expressive power of behavioral profiles (Q315288) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
