Davies, Jim and Steve Schneider "Factorizing proofs in timed CSP"
Proceedings of the fifth international conference on Mathematical foundations of programming semantics, New Orleans, Louisiana, United States 1990 pp129-159 (1990) |
Languages mentioned
- Timed CSP {1986} Extension of CSP to include timing constructs
|
|