Observing localities
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Distributed bisimulationsJournal of the ACM, 1989
- Causal treesPublished by Springer Nature ,1989
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- On the semantics of concurrency: Partial orders and transition systemsPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985