Abstract timed observation and process algebra
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 332-345
- https://doi.org/10.1007/3-540-54430-5_98
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Asynchronous communication in real space process algebraPublished by Springer Nature ,1992
- Real time process algebraFormal Aspects of Computing, 1991
- A linear time process algebraPublished by Springer Nature ,1991
- Testing, betting and timed true concurrencyPublished by Springer Nature ,1991
- The equational theory of pomsetsTheoretical Computer Science, 1988
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983