A temporal calculus of communicating systems
Top Cited Papers
- 16 June 2005
- book chapter
- Published by Springer Nature
- p. 401-415
- https://doi.org/10.1007/bfb0039073
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980