Broadcast communication for real-time processes
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 149-169
- https://doi.org/10.1007/3-540-55092-5_9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Real time process algebraFormal Aspects of Computing, 1991
- A calculus of broadcasting systemsPublished by Springer Nature ,1991
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986