The following pages link to (Q3680259):
Displayed 7 items.
- Communicating processes with value-passing and assignments (Q688827) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- The laws of Occam programming (Q2640348) (← links)
- (Q4222750) (← links)
- Retracing CSP (Q5262957) (← links)
- The semantics of priority and fairness in occam (Q5887515) (← links)
- Compositional priority specification in real-time distributed systems. (Q5955750) (← links)