On the Expressiveness of the π-Calculus and the Mobile Ambients

DOI10.1007/978-3-642-17796-5_3zbMath1308.68082OpenAlexW1554930260MaRDI QIDQ3067465

Linda Brodo

Publication date: 21 January 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17796-5_3

zbMATH Keywords

encodinglabeled transition systems\(\pi \)-calculusmobile ambients

Mathematics Subject Classification ID

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

Related Items (4)

Process calculi for biological processes ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ A formal approach to open multiparty interactions ⋮ On the expressiveness of π-calculus for encoding mobile ambients

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• Mobile ambients
• Computing with membranes
• Symmetric electoral systems for ambient calculi
• On the Relative Expressive Power of Calculi for Mobility
• Translating Mobile Ambients into P Systems
• Encoding Mobile Ambients into the π-Calculus
• On Recursion, Replication and Scope Mechanisms in Process Calculi
• A Decentralized Implementation of Mobile Ambients
• On the Expressiveness of Pure Mobile Ambients
• Controlling interference in ambients
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems

This page was built for publication: On the Expressiveness of the π-Calculus and the Mobile Ambients