The following pages link to (Q4036589):
Displayed 6 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← 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)
- Bounded concurrency (Q5055935) (← links)