Distribution and locality of concurrent systems
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 154-165
- https://doi.org/10.1007/3-540-58201-0_65
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of processes with localitiesPublished by Springer Nature ,2006
- Observing distribution in processesPublished by Springer Nature ,1993
- Proved treesPublished by Springer Nature ,1992
- An extended expansion theoremPublished by Springer Nature ,1991
- Distributed bisimulationsJournal of the ACM, 1989
- Partial orderings descriptions and observations of nondeterministic concurrent processesPublished by Springer Nature ,1989
- CCS expressions, finite state processes, and three problems of equivalencePublished by Association for Computing Machinery (ACM) ,1983