Asynchronous Session Types and Progress for Object-Oriented Languages (2007)

by Mariangiola Dezani-ciancaglini , Nobuko Yoshida
Venue:In FMOODS’07, volume 4468 of LNCS
Citations:20 - 14 self