Mobile ambients

M. Abadi, A.D. Gordon, A calculus for cryptographic protocols: the spi calculus, Proc. 4th ACM Conf. on Computer and Communications Security, 1997, pp. 36–47.

R.M. Amadio, An asynchronous model of locality, failure, and process mobility, Proc. COORDINATION 97, Lecture Notes in Computer Science, vol. 1282, Springer, Berlin, 1997.

Berry, 1992, The chemical abstract machine, Theoret. Comput. Sci., 96, 217, 10.1016/0304-3975(92)90185-I

G. Boudol, Asynchrony and the π-calculus, Tech. Rep. 1702, INRIA, Sophia-Antipolis, 1992.

Cardelli, 1995, A language with distributed scope, Comput. Systems, 8, 27

L. Cardelli, A.D. Gordon, Types for mobile ambients, Proc. 26th Annual ACM Symp. on Principles of Programming Languages, 1999, pp. 79–92.

Carriero, 1989, Linda in context, Comm. ACM, 32, 444, 10.1145/63334.63337

Carriero, 1995, Bauhaus Linda, vol. 924, 66

R. De Nicola, G.-L. Ferrari, R. Pugliese, Locality based Linda: programming with explicit localities, Proc. TAPSOFT’97, Lecture Notes in Computer Science, vol. 1214, Springer, Berlin, pp. 712–726.

C. Fournet, G. Gonthier, The reflexive CHAM and the join-calculus, Proc. 23rd Annual ACM Symp. on Principles of Programming Languages, 1996, pp. 372–385.

C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, D. Rémy, A calculus of mobile agents, Proc. 7th Internat. Conf. on Concurrency Theory (CONCUR’96), 1996, pp. 406–421.

Gosling, 1996

A.D. Gordon, L. Cardelli, Equational properties of mobile ambients, Microsoft Research Tech. Rep. MSR-TR-99-11, February 1999.

K. Honda, M. Tokoro, An object calculus for asynchronous communication, Proc. ECOOP’91, Lecture Notes in Computer Science, vol. 521, Springer, Berlin, 1991, pp. 133–147.

R. Milner, A calculus of communicating systems, Lecture Notes in Computer Science, vol. 92, Springer, Berlin, 1980.

Milner, 1992, Functions as processes, Math. Struct. Comput. Sci., 2, 119, 10.1017/S0960129500001407

Milner, 1992, A calculus of mobile processes, Parts 1-2, Inform. and Comput., 100, 1, 10.1016/0890-5401(92)90008-4

Morris, 1968

J. Riely, M. Hennessy, A typed language for distributed mobile processes. Proc. 25th Annual ACM Symp. on Principles of Programming Languages, 1998, pp. 378–390.

P. Sewell, Global/local subtyping and capability inference for a distributed π-calculus, Proc. ICALP’98, Lecture Notes in Computer Science, vol. 1443, Springer, Berlin, 1998, pp. 695–706.

White, 1996, Mobile agents