Lorenzo Bettini, Rocco De Nicola, Michele Loreti. Formalizing Properties of Mobile Agent Systems. In Farhad Arbab, Carolyn L. Talcott, editors, Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Volume 2315 of Lecture Notes in Computer Science, pages 72-87, Springer, 2002. [doi]