Mobile Ambients

This chapter introduces a calculus describing the movement of processes and devices, including movement through administrative domains.

[1]  Luca Cardelli,et al.  Equational properties of mobile ambients , 1999, Mathematical Structures in Computer Science.

[2]  Luca Cardelli,et al.  A language with distributed scope , 1995, POPL '95.

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

[4]  Munindar P. Singh,et al.  Agents on the Web: Mobile Agents , 1997, IEEE Internet Comput..

[5]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[6]  Nicholas Carriero,et al.  Bauhaus Linda , 1994, ECOOP Workshop.

[7]  Martín Abadi,et al.  A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

[8]  James Riely,et al.  A typed language for distributed mobile processes (extended abstract) , 1998, POPL '98.

[9]  Peter Sewell.  Global/Local Subtyping and Capability Inference for a Distributed pi-calculus , 1998, ICALP.

[10]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[11]  Luca Cardelli,et al.  Types for mobile ambients , 1999, POPL '99.

[12]  Robin Milner.  Functions as Processes , 1990, ICALP.

[13]  Matthew Hennessy.  A Typed Language for Distributed Mobile Processes , 1998 .

[14]  Oscar Nierstrasz,et al.  Object-Based Models and Languages for Concurrent Systems , 1994, Lecture Notes in Computer Science.

[15]  Rocco De Nicola,et al.  Locality Based Linda: Programming with Explicit Localities , 1997, TAPSOFT.

[16]  Jean-Jacques Lévy,et al.  A Calculus of Mobile Agents , 1996, CONCUR.

[17]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[18]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[19]  Gérard Boudol,et al.  Asynchrony and the Pi-calculus , 1992 .

[20]  James H. Morris,et al.  Lambda-calculus models of programming languages. , 1969 .

[21]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[22]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[23]  Roberto M. Amadio.  An Asynchronous Model of Locality, Failurem and Process Mobility , 1997, COORDINATION.