The following pages link to Trustworthy Global Computing (Q5394806):
Displaying 6 items.
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Objects and session types (Q1021571) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
