Process theory based on bisimulation semantics
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 50-122
- https://doi.org/10.1007/bfb0013021
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- On the relationship of CCS and CSPPublished by Springer Nature ,2006
- Modular specifications in process algebraPublished by Springer Nature ,1989
- Bounded nondeterminism and the approximation induction principle in process algebraPublished by Springer Nature ,1987
- Top-down design and the algebra of communicating processesScience of Computer Programming, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Linear time and branching time semantics for recursion with mergeTheoretical Computer Science, 1984
- 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
- Testing equivalences for processesTheoretical Computer Science, 1984
- Communicating sequential processesCommunications of the ACM, 1978