Nomadic Pict: language and infrastructure design for mobile agents

Location-independent communication between migrating agents requires a distributed infrastructure. The authors describe their Nomadic Pict distributed programming language and use it to develop an infrastructure for an example application.

[1]  Frank Pfenning,et al.  The Fox Project: Advanced Language Technology for Extensible Systems , 1998 .

[2]  Benjamin C. Pierce,et al.  Pict: a programming language based on the Pi-Calculus , 2000, Proof, Language, and Interaction.

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

[4]  Aaron Kershenbaum,et al.  Mobile Agents: Are They a Good Idea? , 1996, Mobile Object Systems.

[5]  Dejan S. Milojicic,et al.  MASIF: The OMG Mobile Agent System Interoperability Facility , 1998, Mobile Agents.

[6]  Luc Moreau,et al.  Distributed directory service and message routing for mobile agents , 2001, Sci. Comput. Program..

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

[8]  Peter Sewell,et al.  Nomadic Pict: language and infrastructure design for mobile agents , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[9]  Mark Garland Hayden,et al.  The Ensemble System , 1998 .

[10]  David N. Turner,et al.  The polymorphic Pi-calculus : theory and implementation , 1996 .

[11]  Benjamin C. Pierce,et al.  Location-Independent Communication for Mobile Agents: A Two-Level Architecture , 1998, ICCL Workshop: Internet Programming Languages.

[12]  Mitsuru Oshima,et al.  Infrastructure for Mobile Agents: Requirements and Design , 1998, Mobile Agents.

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

[14]  Benjamin C. Pierce,et al.  Concurrent Objects in a Process Calculus , 1994, Theory and Practice of Parallel Programming.

[15]  Andrew Herbert,et al.  A Mobile Object Workbench , 1998, Mobile Agents.