On relating concurrency and nondeterminism
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 376-402
- https://doi.org/10.1007/3-540-55511-0_19
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Distributed bisimulationsJournal of the ACM, 1989
- Concurrency and atomicityTheoretical Computer Science, 1988
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 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
- Formal verification of parallel programsCommunications of the ACM, 1976