Pages that link to "Item:Q1193655"
From MaRDI portal
The following pages link to Maximality preserving bisimulation (Q1193655):
Displaying 6 items.
- Bisimulation and action refinement (Q685407) (← links)
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- \(\tau\)-bisimulations and full abstraction for refinement of actions (Q1183474) (← links)
- Deciding true concurrency equivalences on safe, finite nets (Q1365677) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
