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.
CITATION STYLE
Fournet, C., Gonthier, G., Lévy, J. J., Maranget, L., & Rémy, D. (1996). A calculus of mobile agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1119, pp. 406–421). Springer Verlag. https://doi.org/10.1007/3-540-61604-7_67
Mendeley helps you to discover research relevant for your work.