A Calculus of Mobile Agents

Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy. A Calculus of Mobile Agents. In Ugo Montanari, Vladimiro Sassone, editors, CONCUR 96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Volume 1119 of Lecture Notes in Computer Science, pages 406-421, Springer, 1996.