The following pages link to Mobile ambients (Q2906944):
Displaying 19 items.
- On the diversity of asynchronous communication (Q315311) (← links)
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- Mobile ambients (Q1575154) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- An overview of boxed ambients (abstract) (Q2841270) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)
- Types for access control in a calculus of mobile resources (Q2864387) (← links)
- Mobile Ambients with Timers and Types (Q3525074) (← links)
- (Q4494378) (← links)
- On the Expressiveness of Pure Mobile Ambients (Q4917029) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
- First–order Semantics for Higher–order Processes (Q4921509) (← links)
- Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) (← links)
