Mobile Ambients
- Luca Cardelli ,
- Andy Gordon
Theoretical Computer Science | , Vol 240(1): pp. 177-213
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
Theoretical Computer Science | , Vol 240(1): pp. 177-213
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.