Asynchronous communication in real space process algebra
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 473-492
- https://doi.org/10.1007/3-540-55092-5_26
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Real time process algebraFormal Aspects of Computing, 1991
- Translating timed process algebra into prioritized process algebraPublished by Springer Nature ,1991
- Testing, betting and timed true concurrencyPublished by Springer Nature ,1991
- Real space process algebraPublished by Springer Nature ,1991
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- A process creation mechanism in process algebraPublished by Cambridge University Press (CUP) ,1990
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- Process algebra with asynchronous communication mechanismsPublished by Springer Nature ,1985
- Process algebra for synchronous communicationInformation and Control, 1984