Timed CSP: Theory and practice
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 640-675
- https://doi.org/10.1007/bfb0032011
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A hierarchy of domains for real-time distributed computingPublished by Springer Nature ,2006
- Broadcast communication for real-time processesPublished by Springer Nature ,1992
- SOFTWARE REVIEWSTechnical Services Quarterly, 1991
- Analysing TM FS : A study of nondeterminism in real-time concurrencyPublished by Springer Nature ,1991
- Factorizing proofs in timed CSPPublished by Springer Nature ,1988
- Metric spaces as models for real-time concurrencyPublished by Springer Nature ,1988
- A timed failures model for extended communicating processesPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983