Ghilezan, et al.. Precise Subtyping for Asynchronous Multiparty Sessions. 26 Oct. 2020.