Asis Unyapoth, Peter Sewell. Nomadic pict: correct communication infrastructure for mobile computation. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL, pages 116-127, Association for Computing Machinery, 2001. [doi]
Abstract is missing.