Mobile Ambients

  • Luca Cardelli ,
  • Andy Gordon

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

PDF | 论文与出版物

下载 BibTex

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