The following pages link to (Q4415245):
Displaying 9 items.
- Role-based access control for boxed ambients (Q930879) (← links)
- Mobility control via passports (Q1012123) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- An overview of boxed ambients (abstract) (Q2841270) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311159) (← links)