Encoding mobile ambients into the -calculus

DOI10.1007/978-3-540-70881-0_15MaRDI QIDQ3401940zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• Reflecting mobile ambients into the \(\pi \)-calculus
• On the expressiveness of pure mobile ambients
• On mobility and communication

Cited in

(19)

• On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
• Encoding distributed process calculi into LMNtal
• A CPS encoding of name-passing in higher-order mobile embedded resources
• On the expressiveness of pure mobile ambients
• A process algebraic approach to reaction systems
• Translating mobile ambients into P systems
• On the expressiveness of pure safe ambients
• Encoding distributed areas and local communication into the \(\pi \)-calculus
• The Applied Pi Calculus
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A CPS encoding of name-passing in higher-order mobile embedded resources
• On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
• Name-passing in an ambient-like calculus and its proof using spatial logic
• A temporal logic for mutual mobile membranes with objects on surface
• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• Reflecting mobile ambients into the \(\pi \)-calculus
• How faithfully can \( \pi \) be interpreted in SA?
• The \texttt{link}-calculus for open multiparty interactions
• Name-passing in an ambient-like calculus and its proof using spatial logic

This page was built for publication: Encoding mobile ambients into the \(\pi \)-calculus

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