Nomadic pict: correct communication infrastructure for mobile computation