The following pages link to (Q3925868):
Displayed 9 items.
- Structure of concurrency (Q685384) (← links)
- On priority in COSY (Q914367) (← links)
- An investigation of controls for concurrent systems based on abstract control languages (Q1060008) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- Fairness and control in multi-agent systems (Q1389683) (← links)
- A predicative semantics for the refinement of real-time systems (Q5890049) (← links)