An Asynchronous, Distributed Implementation of Mobile Ambients

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.

• Type: Conference
• Year: 2000
• Where: IFIPTCS
• Authors: Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt
• Keywords: CardelliGordon's Ambient Calculus, IFIPTCS 2000, Join Calculus, Process Calculus, Theoretical Computer Science