Encoding Mobile Ambients into the π-Calculus

DOI10.1007/978-3-540-70881-0_15zbMath1185.68439OpenAlexW2152419518MaRDI QIDQ3401940

Gabriel Ciobanu, Vladimir A. Zakharov

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_15

Mathematics Subject Classification ID

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

Related Items (6)

The \texttt{link}-calculus for open multiparty interactions ⋮ A Temporal Logic for Mutual Mobile Membranes with Objects on Surface ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ A process algebraic approach to reaction systems ⋮ On the expressiveness of π-calculus for encoding mobile ambients ⋮ Translating Mobile Ambients into P Systems

This page was built for publication: Encoding Mobile Ambients into the π-Calculus