The following pages link to (Q2766539):
Displaying 11 items.
- 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)
- Typing evolving ambients (Q1607130) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- A Type Inference Algorithm for Secure Ambients (Q2841272) (← links)
- A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
