Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

35

IFIPTCS
2000

favoriteEmaildiscussreport

114views Theoretical Computer Science» more IFIPTCS 2000»

An Asynchronous, Distributed Implementation of Mobile Ambients

14 years 2 months ago

An Asynchronous, Distributed Implementation of Mobile Ambients

Download research.microsoft.com

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.

Cédric Fournet, Jean-Jacques Lévy, A

Real-time Traffic

CardelliGordon's Ambient Calculus | IFIPTCS 2000 | Join Calculus | Process Calculus | Theoretical Computer Science |

claim paper

Related Content

» On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

» A taxonomy of process calculi for distribution and mobility

» A Practical Modelling Notation for Secure Distributed Computation

» Exploiting dynamic proxies in middleware for distributed parallel and mobile Java applicat...

» A Correct Abstract Machine for Safe Ambients

» Autonomous and Asynchronous Operation of Networked Appliances with Mobile Agent

» Implementation of MAP A system for mobile assistant programming

» Mobile Link Services with MQSeries Everyplace

» Encoding Distributed Process Calculi into LMNtal

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	IFIPTCS
Authors	Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt

Comments (0)