On the expressive power of movement and restriction in pure mobile ambients

DOI10.1016/j.tcs.2003.10.040zbMath1071.68072OpenAlexW1993828725MaRDI QIDQ1881256

Nadia Busi, Gianluigi Zavattaro

Publication date: 4 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.10.040

zbMATH Keywords

process calculus

Mathematics Subject Classification ID

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

Related Items (18)

On the expressive power of movement and restriction in pure mobile ambients ⋮ Fair ambients ⋮ Theory of interaction ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ On Recursion, Replication and Scope Mechanisms in Process Calculi ⋮ A taxonomy of process calculi for distribution and mobility ⋮ Symmetric electoral systems for ambient calculi ⋮ On the expressiveness of interaction ⋮ Decidable Fragments of a Higher Order Calculus with Locations ⋮ On the computational strength of pure ambient calculi ⋮ Deciding Reachability in Mobile Ambients with Name Restriction ⋮ Reachability Analysis in BioAmbients ⋮ Comparing communication primitives via their relative expressive power ⋮ On the Relative Expressive Power of Calculi for Mobility ⋮ Probabilistic mobile ambients ⋮ Deciding reachability problems in Turing-complete fragments of Mobile Ambients ⋮ Nadia Busi's publications ⋮ On the computational power of BlenX

Cites Work

• A calculus of mobile processes. II
• Mobile ambients
• Decoding choice encodings
• On the expressive power of movement and restriction in pure mobile ambients
• Separability in the Ambient Logic
• Controlling interference in ambients
• Anytime, anywhere
• Extensionality and intensionality of the ambient logics
• Computability of Recursive Functions
• Ordering by Divisibility in Abstract Algebras
• Well-structured transition systems everywhere!
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the expressive power of movement and restriction in pure mobile ambients