Pages that link to "Item:Q2841272"
From MaRDI portal
The following pages link to A Type Inference Algorithm for Secure Ambients (Q2841272):
Displaying 4 items.
- Space-aware ambients and processes (Q875514) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for ambient and process mobility (Q5458067) (← links)
