The following pages link to Towards a design calculus for CSP (Q1916361):
Displaying 5 items.
- Sequential calculus (Q674261) (← links)
- Calculational verification of reactive programs with reactive relations and Kleene algebra (Q1617824) (← links)
- Nonrepresentable sequential algebras (Q4353720) (← links)
- (Q4536723) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709386) (← links)