On the relative expressive power of calculi for mobility

DOI10.1016/J.ENTCS.2009.07.094zbMATH Open1337.68182OpenAlexW2089091589MaRDI QIDQ2805161FDOQ2805161

Authors: Daniele Gorla 

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

Recommendations

• A taxonomy of process calculi for distribution and mobility
• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• On the expressiveness of pure mobile ambients
• On mobility and communication
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

zbMATH Keywords

mobilityexpressivenessprocess calculiencodings

Mathematics Subject Classification ID

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

Cites Work

• Functions as processes
• Title not available (Why is that?)
• Testing equivalences for processes
• Title not available (Why is that?)
• Resource access control in systems of mobile agents
• Mobile ambients
• On the computational strength of pure ambient calculi
• Decoding choice encodings
• On the expressive power of movement and restriction in pure mobile ambients
• Semantic Barbs and Biorthogonality
• A typed encoding of boxed into safe ambients
• On the expressive power of \textsc{Klaim}-based calculi
• Leader election in rings of ambient processes
• Foundations of Software Science and Computation Structures
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Foundations of Software Science and Computation Structures

Cited In (17)

• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• Title not available (Why is that?)
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• On the expressiveness of interaction
• On parameterization of higher-order processes
• Parameterizing higher-order processes on names and processes
• On the expressive power of \textsc{Klaim}-based calculi
• Towards a unified approach to encodability and separation results for process calculi
• On the expressiveness and decidability of higher-order process calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Replacement freeness: a criterion for separating process calculi
• On the expressiveness of internal mobility in name-passing calculi
• On the expressiveness of internal mobility in name-passing calculi
• A taxonomy of process calculi for distribution and mobility
• A parametric calculus for mobile open code
• Theory of interaction

Uses Software

• Pict

This page was built for publication: On the relative expressive power of calculi for mobility

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