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.
@inproceedings{HennessyR99,
title = {Type-Safe Execution of Mobile Agents in Anonymous Networks},
author = {Matthew Hennessy and James Riely},
year = {1999},
tags = {mobile},
researchr = {https://researchr.org/publication/HennessyR99},
cites = {0},
citedby = {0},
pages = {95-115},
booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
editor = {Jan Vitek and Christian Damsgaard Jensen},
volume = {1603},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66130-1},
}