An asynchronous, distributed implementation of mobile ambients

DOI10.1007/3-540-44929-9_26MaRDI QIDQ4536436zbMATH OpenFDO

Authors Jean-Jacques Lévy, Alan Schmitt, Cédric Fournet

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44929-9_26

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A distributed abstract machine for safe ambients (extended abstract)
• scientific article; zbMATH DE number 1231618
• Programming Languages and Systems
• Safe ambients: Abstract machine and distributed implementation
• A Decentralized Implementation of Mobile Ambients

Cited in

(27)

• Pict correctness revisited
• Comparing communication primitives via their relative expressive power
• A hierarchy of equivalences for asynchronous calculi
• Distributability of mobile ambients
• Symmetric electoral systems for ambient calculi
• Explicit fusions
• The seal calculus
• Communication and mobility control in boxed ambients
• On an open problem of Amadio and Curien: The finite antichain condition
• A structured communication mechanism using mobile objects as ambassadors
• Structuring operational semantics: simplification and computation
• On the expressiveness of the -calculus and the mobile ambients
• On the expressiveness of -calculus for encoding mobile ambients
• On the distributability of mobile ambients
• Complete Lattices and Up-To Techniques
• Timers and Proximities for Mobile Ambients
• A Decentralized Implementation of Mobile Ambients
• A distributed abstract machine for safe ambients (extended abstract)
• scientific article; zbMATH DE number 2090160 (Why is no real title available?)
• Encoding distributed areas and local communication into the -calculus
• Programming Languages and Systems
• Recent Trends in Algebraic Development Techniques
• A decentralised graphical implementation of mobile ambients
• A taxonomy of process calculi for distribution and mobility
• PiDuce- A project for experimenting web services technologies
• An efficient abstract machine for safe ambients
• Using bisimulation proof techniques for the analysis of distributed abstract machines

Describes a project that uses

Uses Software

• JoCaml

This page was built for publication: An asynchronous, distributed implementation of mobile ambients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536436)