The state operator in real time process algebra
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 107-123
- https://doi.org/10.1007/bfb0031989
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Real time process algebraFormal Aspects of Computing, 1991
- A linear time process algebraPublished by Springer Nature ,1991
- Abstract timed observation and process algebraPublished by Springer Nature ,1991
- Real space process algebraPublished by Springer Nature ,1991
- Completeness in real time process algebraPublished by Springer Nature ,1991
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- A modular approach to protocol verification using process algebraPublished by Cambridge University Press (CUP) ,1990
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- Process algebra for synchronous communicationInformation and Control, 1984