Comparing locality and causality based equivalences
- 1 August 1994
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 31 (8) , 697-718
- https://doi.org/10.1007/bf01178730
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A static view of localitiesFormal Aspects of Computing, 1994
- A theory of processes with localitiesFormal Aspects of Computing, 1994
- Observing localitiesTheoretical Computer Science, 1993
- Proved treesPublished by Springer Nature ,1992
- A partial ordering semantics for CCSTheoretical Computer Science, 1990
- Three equivalent semantics for CCSLecture Notes in Computer Science, 1990
- Causal trees interleaving + causalityPublished by Springer Nature ,1990
- Distributed bisimulationsJournal of the ACM, 1989
- Causal treesPublished by Springer Nature ,1989
- Concurrency and atomicityTheoretical Computer Science, 1988