The following pages link to (Q3939202):
Displayed 8 items.
- Structure of concurrency (Q685384) (← links)
- Nets, sequential components and concurrency relations (Q797994) (← links)
- On priority in COSY (Q914367) (← links)
- The Merlin-Randell problem of train journeys (Q1062925) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)