Mobile ambients

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1378, Issue , 1998, Pages 140-155

  Cardelli, Luca ^a,c   Gordon, Andrew D ^b,c  

^a HEWLETT PACKARD COMPANY   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

MOBILE AMBIENTS;

COMPUTATION THEORY;

EID: 84947919695     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053547     Document Type: Conference Paper

References (16)

1. Abadi, M. and A.D. Gordon, A calculus for cryptographic protocols: the spi calculus. Proc. Fourth ACM Conference on Computer and Communications Security, 36-47, 1997.
2. Amadio, R.M., An asynchronous model of locality, failure, and process mobility. Proc. COORDINATION 97, Berlin, 1997.
3. Berry, G. and G. Boudol, The chemical abstract machine. Theoretical Computer Science 96(1), 217-248, 1992.
4. Boudol, G., Asynchrony and the π-calculus. TR 1702, INRIA, Sophia-Antipolis, 1992.
5. Cardelli, L., A language with distributed scope. Computing Systems, 8(1), 27-59. MIT Press. 1995.
6. Carriero, N. and D. Gelemter, Linda in context. CACM, 32(4), 444-458,1989.
7. Carriero, N., D. Gelemter, and L. Zuck, Bauhaus Linda, in LNCS 924, 66-76, Springer-Verlag, 1995.
8. De Nicola, R., G.-L. Ferrari and R. Pugliese, Locality based Linda: programming with explicit localities. Proc. TAPSOFT’97. 1997.
9. Foumet, C. and G. Gonthier, The reflexive CHAM and the join-calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, 372-385. 1996.
10. Foumet, C., G. Gonthier, J.-J. Lévy, L. Maranget, D. Rémy, A calculus of mobile agents. Proc. CONCUR’96, 406-421. 1996.
11. Gosling, J., B. Joy and G. Steele, The Java language specification. Addison-Wesley. 1996.
12. Honda., K. and M. Tokoro, An object calculus for asynchronous communication. Proc. ECOOP’91, LNCS 521,133-147, Springer Verlag, 1991.
13. Milner, R., A calculus of communicating systems. LNCS 92. Springer-Verlag. 1980.
14. Milner, R., Functions as processes. Mathematical Structures in Computer Science 2, 119141. 1992.
15. Milner, R., J. Parrow and D. Walker, A calculus of mobile processes, Parts 1-2. Information and Computation, 100(1), 1-77. 1992
16. White, J.E., Mobile agents. In Software Agents, J. Bradshaw, ed. AAAI Press / The MIT Press. 1996.