A compositional proof theory for real-time distributed message passing
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 315-332
- https://doi.org/10.1007/3-540-17945-3_18
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A compositional proof theory for real-time distributed message passingPublished by Springer Nature ,1987
- Compositional semantics for real-time distributed computingPublished by Springer Nature ,1985
- A linear-history semantics for languages for distributed programmingTheoretical Computer Science, 1984
- A proof system for partial correctness of dynamic networks of processesPublished by Springer Nature ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Real-timeCommunications of the ACM, 1980
- Communicating sequential processesCommunications of the ACM, 1978