The following pages link to (Q4167546):
Displayed 7 items.
- A theory of bipolar synchronization scheme (Q799113) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Modeling a solution for a control problem in distributed systems by restrictions (Q1143170) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)