Mobile Ambients

  • Luca Cardelli ,
  • Andy Gordon

Theoretical Computer Science | , Vol 240 (1): pp. 177-213

PDF | Publication

Download BibTex

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