Abstraction in real time process algebra
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 325-352
- https://doi.org/10.1007/bfb0031999
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Real-time behaviour of asynchronous agentsPublished by Springer Nature ,2005
- Real time process algebraFormal Aspects of Computing, 1991
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- Bounded nondeterminism and the approximation induction principle in process algebraPublished by Springer Nature ,1987
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980