The following pages link to (Q4415246):
Displaying 11 items.
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Mobility control via passports (Q1012123) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← 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)
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines (Q3608458) (← links)
- (Q4791831) (← links)