Global/local subtyping and capability inference for a distributed π-calculus
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 695-706
- https://doi.org/10.1007/bfb0055094
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Mobile ambientsPublished by Springer Nature ,1998
- An asynchronous model of locality, failure, and process mobilityPublished by Springer Nature ,1997
- Coordinating mobile agents via blackboards and access rightsPublished by Springer Nature ,1997
- Distributed processes and location failuresPublished by Springer Nature ,1997
- On implementations and semantics of a concurrent programming languagePublished by Springer Nature ,1997
- Calculi for interactionActa Informatica, 1996
- A Facile tutorialPublished by Springer Nature ,1996
- Static and dynamic processor allocation for higher-order concurrent languagesPublished by Springer Nature ,1995
- Localities and failures (extended summary)Lecture Notes in Computer Science, 1994