Asis Unyapoth, Peter Sewell
Nomadic pict: correct communication infrastructure for mobile computation
POPL, 2001.
@inproceedings{POPL-2001-UnyapothS, author = "Asis Unyapoth and Peter Sewell", booktitle = "{Conference Record of the 28th Symposium on Principles of Programming Languages}", doi = "10.1145/360204.360214", editor = "Chris Hankin and Dave Schmidt", isbn = "1-58113-336-7", pages = "116--127", publisher = "{ACM}", title = "{Nomadic pict: correct communication infrastructure for mobile computation}", year = 2001, }