Multiparty Asynchronous Session Types. (2008)

by K Honda, N Yoshida, M Carbone