A calculus of mobile agents

  • Cédric Fournet
  • Georges Gonthier
  • Jean-Jacques Levy
  • Luc Maranget
  • Didier Rémy
Conference paper

DOI: 10.1007/3-540-61604-7_67

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1119)
Cite this paper as:
Fournet C., Gonthier G., Levy JJ., Maranget L., Rémy D. (1996) A calculus of mobile agents. In: Montanari U., Sassone V. (eds) CONCUR '96: Concurrency Theory. CONCUR 1996. Lecture Notes in Computer Science, vol 1119. Springer, Berlin, Heidelberg

Abstract

We introduce a calculus for mobile agents and give its chemical semantics, with a precise definition for migration, failure, and failure detection. Various examples written in our calculus illustrate how to express remote executions, dynamic loading of remote resources and protocols with mobile agents. We give the encoding of our distributed calculus into the join-calculus.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Cédric Fournet
    • 1
  • Georges Gonthier
    • 1
  • Jean-Jacques Levy
    • 1
  • Luc Maranget
    • 1
  • Didier Rémy
    • 1
  1. 1.INRIA RocquencourtLe Chesnay CedexFrance

Personalised recommendations