The following pages link to (Q4673434):
Displaying 4 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)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
