The following pages link to (Q4449205):
Displaying 12 items.
- Fair ambients (Q877172) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← 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)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Equational properties of mobile ambients (Q4814186) (← links)
- Bisimulation congruences in safe ambients (Q5178899) (← links)