On the relative expressive power of calculi for mobility

DOI10.1016/J.ENTCS.2009.07.094MaRDI QIDQ2805161zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

mobilityexpressivenessprocess calculiencodings

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

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

Cited in

(22)

• On the expressive power of \textsc{Klaim}-based calculi
• On the expressiveness of the -calculus and the mobile ambients
• Separation and encodability in mixed choice multiparty sessions
• scientific article; zbMATH DE number 7449992 (Why is no real title available?)
• On the expressiveness of interaction
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• 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
• On the expressiveness of pure safe ambients
• On mobility and communication
• scientific article; zbMATH DE number 1863160 (Why is no real title available?)
• 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
• On the expressiveness of pure mobile ambients
• A taxonomy of process calculi for distribution and mobility
• A parametric calculus for mobile open code
• Higher-order processes with parameterization over names and processes
• Theory of interaction

Describes a project that uses

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)