Mobility Types for Mobile Processes in Mobile Ambients

[1]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[2]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[3]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[4]  Davide Sangiorgi,et al.  Typing and subtyping for mobile processes , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

[5]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[6]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, HLCL.

[7]  Luca Cardelli,et al.  Mobility Types for Mobile Ambients , 1999, ICALP.

[8]  Mariangiola Dezani-Ciancaglini,et al.  Security Types for Mobile Safe Ambients , 2000, ASIAN.

[9]  Davide Sangiorgi,et al.  Controlling interference in ambients , 2000, POPL '00.

[10]  Michele Bugliesi,et al.  Boxed Ambients , 2001, TACS.

[11]  Torben Amtoft,et al.  What Are Polymorphically-Typed Ambients? , 2001, ESOP.

[12]  Michele Bugliesi,et al.  Secure safe ambients , 2001, POPL '01.

[13]  Joe B. Wells,et al.  The Essence of Principal Typings , 2002, ICALP.

[14]  Vladimiro Sassone,et al.  Typing and Subtyping Mobility in Boxed Ambients , 2002, CONCUR.