1. Multiparty asynchronous session types;Honda,2008
2. Multiparty asynchronous session types;Honda;J. ACM,2016
3. Undecidability of asynchronous session subtyping;Bravetti;Inf. Comput.,2017
4. On the undecidability of asynchronous session subtyping;Lange,2017
5. Deconfined global types for asynchronous sessions;Dagnino,2021