Pages that link to "Item:Q2843918"
From MaRDI portal
The following pages link to M\(^3\): mobility types for mobile processes in mobile ambients (Q2843918):
Displaying 12 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)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Shape analysis for mobile ambients (Q2748155) (← links)
- Type assignement for mobile objects (Q2847776) (← links)
- Typed mobile ambients in Maude (Q2863877) (← links)
- Secure Data Flow in a Calculus for Context Awareness (Q3507380) (← links)
- Shape analysis for mobile ambients (Q5178849) (← links)
- Types for Proofs and Programs (Q5712315) (← links)