Matthew Hennessy, James Riely. Type-Safe Execution of Mobile Agents in Anonymous Networks. In Jan Vitek, Christian Damsgaard Jensen, editors, Secure Internet Programming, Security Issues for Mobile and Distributed Objects. Volume 1603 of Lecture Notes in Computer Science, pages 95-115, Springer, 1999.
Abstract is missing.