On the Expressiveness of Pure Mobile Ambients

DOI10.1016/S1571-0661(05)82506-XzbMath1260.68281OpenAlexW2067299686MaRDI QIDQ4917029

Pascal Zimmer

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)82506-x

Mathematics Subject Classification ID

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

Related Items

Fair ambients ⋮ A taxonomy of process calculi for distribution and mobility ⋮ On the Expressiveness of Pure Mobile Ambients ⋮ A typed encoding of boxed into safe ambients ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ A Type Inference Algorithm for Secure Ambients ⋮ Typing evolving ambients

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On reduction-based process semantics
• A \(\pi\)-calculus with explicit substitutions
• On the Expressiveness of Pure Mobile Ambients
• Controlling interference in ambients