Structuring communication with session types (2014)

by K Honda, R Hu, R Neykova, T-C Chen, R Demangeon, P-M Denielou, N Yoshida
Venue:In COB 2014, volume 8665 of LNCS