Abstract
We introduce a calculus describing the movement of processes and devices, in- cluding movement through administrative domains.
Current affiliation: Microsoft Research.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
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.
Amadio, R.M., An asynchronous model of locality, failure, and process mobility. Proc. COORDINATION 97, Berlin, 1997.
Berry, G. and G. Boudol, The chemical abstract machine. Theoretical Computer Science 96(1), 217–248, 1992.
Boudol, G., Asynchrony and the π-calculus. TR 1702, INRIA, Sophia-Antipolis, 1992.
Cardelli, L., A language with distributed scope. Computing Systems, 8(1), 27–59. MIT Press. 1995.
Carriero, N. and D. Gelernter, Linda in context. CACM, 32(4), 444–458, 1989.
Carriero, N., D. Gelernter, and L. Zuck, Bauhaus Linda, in LNCS 924, 66–76, Springer-Verlag, 1995.
De Nicola, R., G.-L. Ferrari and R. Pugliese, Locality based Linda: programming with explicit localities. Proc. TAPSOFT'97. 1997.
Fournet, C. and G. Gonthier, The reflexive CHAM and the join-calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, 372–385. 1996.
Fournet, C., G. Gonthier, J.-J. Lévy, L. Maranget, D. Rémy, A calculus of mobile agents. Proc. CONCUR'96, 406–421. 1996.
Gosling, J., B. Joy and G. Steele, The Java language specification. Addison-Wesley. 1996.
Honda., K. and M. Tokoro, An object calculus for asynchronous communication. Proc. ECOOP'91, LNCS 521, 133–147, Springer Verlag, 1991.
Milner, R., A calculus of communicating systems. LNCS 92. Springer-Verlag. 1980.
Milner, R., Functions as processes. Mathematical Structures in Computer Science 2, 119–141. 1992.
Milner, R., J. Parrow and D. Walker, A calculus of mobile processes, Parts 1–2. Information and Computation, 100(1), 1–77. 1992
White, J.E., Mobile agents. In Software Agents, J. Bradshaw, ed. AAAI Press/The MIT Press. 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cardelli, L., Gordon, A.D. (1998). Mobile ambients. In: Nivat, M. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 1998. Lecture Notes in Computer Science, vol 1378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053547
Download citation
DOI: https://doi.org/10.1007/BFb0053547
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64300-5
Online ISBN: 978-3-540-69720-6
eBook Packages: Springer Book Archive