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