The linear time - branching time spectrum
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 278-297
- https://doi.org/10.1007/bfb0039066
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Readies and Failures in the Algebra of Communicating ProcessesSIAM Journal on Computing, 1988
- Ready-Trace Semantics for Concrete Process Algebra with the Priority OperatorThe Computer Journal, 1987
- Extensional equivalences for transition systemsActa Informatica, 1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Acceptance treesJournal of the ACM, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978