Experimenting with Process Equivalence
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Bisimulation can't be tracedPublished by Association for Computing Machinery (ACM) ,1988
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- A modal characterisation of observable machine-behaviourLecture Notes in Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978