Abstract

We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.