Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation