Observing distribution in processes
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 321-331
- https://doi.org/10.1007/3-540-57182-5_24
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of processes with localitiesPublished by Springer Nature ,2006
- A parametric approach to localitiesPublished by Springer Nature ,1992
- CCS, locations and asynchronous transition systemsPublished by Springer Nature ,1992
- Observing localitiesLecture Notes in Computer Science, 1991
- Causal trees interleaving + causalityPublished by Springer Nature ,1990
- Equivalence notions for concurrent systems and refinement of actionsPublished by Springer Nature ,1989
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980