dblp.uni-trier.dewww.uni-trier.de

Dimitris Mostrous

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Mariangiola Dezani-Ciancaglini [1] [3]
2Sophia Drossopoulou [1] [3]
3Kohei Honda [4]
4Nobuko Yoshida [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)