Encoding mobile ambients into the -calculus
From MaRDI portal
Publication:3401940
DOI10.1007/978-3-540-70881-0_15zbMATH Open1185.68439OpenAlexW2152419518MaRDI QIDQ3401940FDOQ3401940
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
Recommendations
Cited In (18)
- Encoding distributed process calculi into LMNtal
- Title not available (Why is that?)
- A CPS encoding of name-passing in higher-order mobile embedded resources
- On the expressiveness of the \(\pi \)-calculus and the mobile ambients
- On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
- Encoding distributed areas and local communication into the \(\pi \)-calculus
- The Applied Pi Calculus
- A temporal logic for mutual mobile membranes with objects on surface
- The \texttt{link}-calculus for open multiparty interactions
- Name-passing in an ambient-like calculus and its proof using spatial logic
- Translating mobile ambients into P systems
- Name-passing in an ambient-like calculus and its proof using spatial logic
- Reflecting mobile ambients into the \(\pi \)-calculus
- On the expressiveness of pure mobile ambients
- A CPS encoding of name-passing in higher-order mobile embedded resources
- How faithfully can \( \pi \) be interpreted in SA?
- A process algebraic approach to reaction systems
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)
