An Asynchronous, Distributed Implementation of Mobile Ambients
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 348-364
- https://doi.org/10.1007/3-540-44929-9_26
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Multiway synchronization verified with coupled simulationPublished by Springer Nature ,2006
- Controlling interference in ambientsPublished by Association for Computing Machinery (ACM) ,2000
- An Asynchronous, Distributed Implementation of Mobile AmbientsPublished by Springer Nature ,2000
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Mobility Types for Mobile AmbientsPublished by Springer Nature ,1999
- Equational Properties of Mobile AmbientsPublished by Springer Nature ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- A calculus of mobile agentsPublished by Springer Nature ,1996
- Decoding choice encodingsPublished by Springer Nature ,1996
- Confluence by decreasing diagramsTheoretical Computer Science, 1994