On the observational semantics of fair parallelism
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 147-159
- https://doi.org/10.1007/bfb0036905
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An enlarged definition and complete axiomatization of observational congruence of finite processesPublished by Springer Nature ,1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On the semantics of fair parallelismPublished by Springer Nature ,1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Processus non-sequentiels et leurs observations en univers non-centralisePublished by Springer Nature ,1980