Pages that link to "Item:Q5311159"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2004 (Q5311159):
Displaying 5 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)
- Role-based access control for boxed ambients (Q930879) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
