Pages that link to "Item:Q1881256"
From MaRDI portal
The following pages link to On the expressive power of movement and restriction in pure mobile ambients (Q1881256):
Displayed 18 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- On the Relative Expressive Power of Calculi for Mobility (Q2805161) (← links)
- On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112) (← links)
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
- Nadia Busi's publications (Q3655765) (← links)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)
- Reachability Analysis in BioAmbients (Q5179433) (← links)