Asynchronous Session Types and Progress for Object Oriented Languages.

Mario Coppo Mariangiola Dezani-Ciancaglini Nobuko Yoshida Asynchronous Session Types and Progress for Object Oriented Languages. 1-31 2007 conf/fmoods/2007 FMOODS http://dx.doi.org/10.1007/978-3-540-72952-5_1 db/conf/fmoods/fmoods2007.html#CoppoDY07