The following pages link to (Q4415245):
Displayed 7 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)