Mobile ambients
Top Cited Papers
- 1 June 2000
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 240 (1) , 177-213
- https://doi.org/10.1016/s0304-3975(99)00231-5
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Global/local subtyping and capability inference for a distributed π-calculusPublished by Springer Nature ,1998
- A calculus for cryptographic protocolsPublished by Association for Computing Machinery (ACM) ,1997
- An asynchronous model of locality, failure, and process mobilityPublished by Springer Nature ,1997
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus of mobile agentsPublished by Springer Nature ,1996
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- Linda in contextCommunications of the ACM, 1989