The following pages link to (Q4536436):
Displaying 23 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- Explicit fusions (Q2566040) (← links)
- The seal calculus (Q2566220) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- (Q2729888) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
- (Q3384918) (← links)
- Complete Lattices and Up-To Techniques (Q3498446) (← links)
- Timers and Proximities for Mobile Ambients (Q3499765) (← links)
- (Q4808856) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
