Multiparty asynchronous session types - Honda, K; Yoshida, N; Carbone, M (Journal of the ACM, 2016)