An asynchronous model of locality, failure, and process mobility
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 374-391
- https://doi.org/10.1007/3-540-63383-9_92
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Unreliable failure detectors for reliable distributed systemsJournal of the ACM, 1996
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- Linearity and the pi-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus of mobile agentsPublished by Springer Nature ,1996
- On the expressiveness of internal mobility in name-passing calculiPublished by Springer Nature ,1996
- On bisimulations for the asynchronous π-calculusPublished by Springer Nature ,1996
- From a concurrent λ-calculus to the π-calculusPublished by Springer Nature ,1995
- Localities and failures (extended summary)Lecture Notes in Computer Science, 1994