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