Pages that link to "Item:Q2573334"
From MaRDI portal
The following pages link to Communication and mobility control in boxed ambients (Q2573334):
Displaying 9 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
