Multiparty Asynchronous Session Types (2008)

by K Honda, N Yoshida, M Carbone
Venue:In POPL