The following pages link to (Q2843918):
Displayed 6 items.
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Secure Data Flow in a Calculus for Context Awareness (Q3507380) (← links)