The following pages link to (Q3355248):
Displaying 6 items.
- Structure of concurrency (Q685384) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Maximality preserving bisimulation (Q1193655) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Functional equivalences of Petri nets (Q5096374) (← links)
