The following pages link to (Q3675545):
Displayed 8 items.
- On priority in COSY (Q914367) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- Concurrent systems and inevitability (Q1122355) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)