Session types revisited. (2012)

by O Dardha, E Giachino, D Sangiorgi
Venue:In Proc. of PPDP’12,