A Calculus of Mobile Resources*
- 18 September 2002
- book chapter
- Published by Springer Nature
- p. 272-287
- https://doi.org/10.1007/3-540-45694-5_19
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Boxed AmbientsPublished by Springer Nature ,2001
- Deriving Bisimulation Congruences for Reactive SystemsPublished by Springer Nature ,2000
- Anytime, anywherePublished by Association for Computing Machinery (ACM) ,2000
- Controlling interference in ambientsPublished by Association for Computing Machinery (ACM) ,2000
- Ambient Groups and Mobility TypesPublished by Springer Nature ,2000
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Resource Access Control in Systems of Mobile Agents: (Extended Abstract)Electronic Notes in Theoretical Computer Science, 1998
- A theory of weak bisimulation for Core CMLJournal of Functional Programming, 1998
- Mobile ambientsPublished by Springer Nature ,1998
- A calculus of mobile agentsPublished by Springer Nature ,1996