The following pages link to J. Magee (Q595573):
Displayed 8 items.
- A software architecture for distributed computer control systems (Q595575) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- Implied Scenario Detection in the Presence of Behaviour Constraints (Q2841318) (← links)
- Translating FSP into LOTOS and Networks of Automata (Q3608896) (← links)
- The Conic toolkit for building distributed systems (Q3751454) (← links)
- (Q4240122) (← links)
- (Q4417967) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709369) (← links)