Observing processes
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 173-200
- https://doi.org/10.1007/bfb0013023
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- Trace, failure and testing equivalences for communicating processesInternational Journal of Parallel Programming, 1987
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Synchronous and asynchronous experiments on processesInformation and Control, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983