Translating timed process algebra into prioritized process algebra
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 493-506
- https://doi.org/10.1007/3-540-55092-5_27
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Priorities in process algebrasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Real time process algebraFormal Aspects of Computing, 1991
- A linear time process algebraPublished by Springer Nature ,1991
- A conditional operator for CCSPublished by Springer Nature ,1991
- CCS + time = an interleaving model for real time systemsPublished by Springer Nature ,1991
- Bisimulation through probabilistic testing (preliminary report)Published by Association for Computing Machinery (ACM) ,1989
- Metric spaces as models for real-time concurrencyPublished by Springer Nature ,1988
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984