A theory of testing for ACP
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Some observations on redundancy in a contextPublished by Cambridge University Press (CUP) ,1990
- Process algebra semantics of POOLPublished by Cambridge University Press (CUP) ,1990
- Distributed bisimulationsJournal of the ACM, 1989
- 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
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Formal verification of parallel programsCommunications of the ACM, 1976