An Asynchronous, Distributed Implementation of Mobile Ambients [chapter]

Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt
2000 Lecture Notes in Computer Science  
We present a first distributed implementation of the Cardelli-Gordon'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.
doi:10.1007/3-540-44929-9_26 fatcat:hnwc7py5mfhotlcgpg2bc7sza4