Nomadic pict: correct communication infrastructure for mobile computation.

Asis Unyapoth, Peter Sewell

Browse the full POPL paper archive.