On the Relative Expressive Power of Calculi for Mobility
From MaRDI portal
Publication:2805161
DOI10.1016/j.entcs.2009.07.094zbMath1337.68182OpenAlexW2089091589MaRDI QIDQ2805161
Publication date: 10 May 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.094
Related Items (12)
Theory of interaction ⋮ Parameterizing higher-order processes on names and processes ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ Unnamed Item ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Unnamed Item ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ A taxonomy of process calculi for distribution and mobility ⋮ On the expressiveness of interaction ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ On parameterization of higher-order processes
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Testing equivalences for processes
- Mobile ambients
- On the computational strength of pure ambient calculi
- Decoding choice encodings
- Resource access control in systems of mobile agents
- On the expressive power of movement and restriction in pure mobile ambients
- A typed encoding of boxed into safe ambients
- On the expressive power of \textsc{Klaim}-based calculi
- Leader election in rings of ambient processes
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Functions as processes
- Foundations of Software Science and Computation Structures
- Semantic Barbs and Biorthogonality
- Foundations of Software Science and Computation Structures
This page was built for publication: On the Relative Expressive Power of Calculi for Mobility
