Locality and interleaving semantics in calculi for mobile processes
- 1 February 1996
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 155 (1) , 39-83
- https://doi.org/10.1016/0304-3975(95)00020-8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Objects in the π-CalculusInformation and Computation, 1995
- A fully abstract semantics for causality in the π-calculusPublished by Springer Nature ,1995
- A static view of localitiesFormal Aspects of Computing, 1994
- A theory of processes with localitiesFormal Aspects of Computing, 1994
- Universal axioms for bisimulationsTheoretical Computer Science, 1993
- Observing localitiesTheoretical Computer Science, 1993
- A theory of bisimulation for the π-calculusPublished by Springer Nature ,1993
- An efficiency preorder for processesActa Informatica, 1992
- Functions as processesMathematical Structures in Computer Science, 1992