A calculus of broadcasting systems
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 338-358
- https://doi.org/10.1007/3-540-53982-4_19
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Linear and branching structures in the semantics and logics of reactive systemsPublished by Springer Nature ,2005
- A bibliography on multicast and group communicationsACM SIGOPS Operating Systems Review, 1989
- Broadcasting buffering communicationComputer Languages, 1988
- Semantics for nondeterministic asynchronous broadcast networksPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Process algebra with asynchronous communication mechanismsPublished by Springer Nature ,1985
- Synchronization treesTheoretical Computer Science, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Communicating sequential processesCommunications of the ACM, 1978
- EthernetCommunications of the ACM, 1976