@inproceedings{fournet2000an,
author = {Fournet, Cédric and Levy, Jean-Jacques and Schmitt, Alan},
title = {An Asynchronous, Distributed Implementation of Mobile Ambients},
booktitle = {Proceedings of IFIP TCS 2000, LNCS 1872},
year = {2000},
month = {August},
abstract = {We present a first distributed implementation of the CardelliGordon’s ambient calculus. We use Jocaml as an implementation language and we present a formal translation of Ambients into the distributed join calculus, the process calculus associated with Jocaml. We prove the correctness of the translation.},
url = {http://approjects.co.za/?big=en-us/research/publication/asynchronous-distributed-implementation-mobile-ambients/},
pages = {348-364},
edition = {Proceedings of IFIP TCS 2000, LNCS 1872},
}