2009 | ||
---|---|---|
4 | EE | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda: Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332 |
3 | EE | Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009) |
2007 | ||
2 | EE | Dimitris Mostrous, Nobuko Yoshida: Two Session Typing Systems for Higher-Order Mobile Processes. TLCA 2007: 321-335 |
2006 | ||
1 | EE | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 |
1 | Mariangiola Dezani-Ciancaglini | [1] [3] |
2 | Sophia Drossopoulou | [1] [3] |
3 | Kohei Honda | [4] |
4 | Nobuko Yoshida | [1] [2] [3] [4] |