@inproceedings(CYH09,
 author       = {Marco Carbone and Nobuko Yoshida and Kohei Honda},
 year         = {2009},
 title        = {Asynchronous Session Types: Exceptions and Multiparty Interactions},
 editor       = {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro},
 booktitle    = {Formal Methods for Web Services},
 series       = {LNCS},
 volume       = {5569},
 publisher    = {Springer},
 pages        = {187--212},
 doi          = {10.1007/978-3-642-01918-0\_5},
)
@article(CDP12,
 author       = {Giuseppe Castagna and Dezani-Ciancaglini, Mariangiola and Luca Padovani},
 year         = {2012},
 title        = {On Global Types and Multi-Party Sessions},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 pages        = {1--45},
 doi          = {10.2168/LMCS-8(1:24)2012},
)
@article(CDG18,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Paola Giannini},
 year         = {2019},
 title        = {Reversible Sessions with Flexible Choices},
 journal      = {Acta Informatica},
 volume       = {56},
 number       = {7},
 pages        = {553--583},
 doi          = {10.1007/s00236-019-00332-y},
)
@article(CDG21,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Paola Giannini},
 year         = {2021},
 title        = {Global types and event structure semantics for asynchronous multiparty sessions},
 journal      = {CoRR},
 volume       = {abs/2102.00865},
 doi          = {10.48550/arXiv.2102.00865},
)
@article(CDGH19,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Paola Giannini and Ross Horne},
 year         = {2020},
 title        = {Global Types with Internal Delegation},
 journal      = {Theoretical Computer Science},
 volume       = {807},
 pages        = {128--153},
 doi          = {10.1016/j.tcs.2019.09.027},
)
@article(Cour83,
 author       = {Bruno Courcelle},
 year         = {1983},
 title        = {Fundamental Properties of Infinite Trees},
 journal      = {Theoretical Computer Science},
 volume       = {25},
 pages        = {95--169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@article(DGD22,
 author       = {Francesco Dagnino and Paola Giannini and Dezani{-}Ciancaglini, Mariangiola},
 year         = {2021},
 title        = {Deconfined Global Types for Asynchronous Sessions},
 journal      = {CoRR},
 volume       = {abs/2111.11984},
 doi          = {10.48550/arXiv.2111.11984},
)
@inproceedings(DH12,
 author       = {Romain Demangeon and Kohei Honda},
 year         = {2012},
 title        = {Nested Protocols in Session Types},
 editor       = {Maciej Koutny and Irek Ulidowski},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {7454},
 publisher    = {Springer},
 pages        = {272--286},
 doi          = {10.1007/978-3-642-32940-1\_20},
)
@inproceedings(DY12,
 author       = {Pierre{-}Malo Deni{\'{e}}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {Multiparty Session Types Meet Communicating Automata},
 editor       = {Helmut Seidl},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {7211},
 publisher    = {Springer},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2\_10},
)
@inproceedings(GHH21,
 author       = {Rob van Glabbeek and Peter H{\"{o}}fner and Ross Horne},
 year         = {2021},
 title        = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
 editor       = {Leonid Libkin},
 booktitle    = {LICS},
 publisher    = {{ACM Press}},
 pages        = {1--13},
 doi          = {10.1109/LICS52264.2021.9470531},
)
@inproceedings(CHY08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {Multiparty Asynchronous Session Types},
 editor       = {George C. Necula and Philip Wadler},
 booktitle    = {POPL},
 publisher    = {ACM Press},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@article(CHY16,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {Journal of {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
)
@inproceedings(HY17,
 author       = {Raymond Hu and Nobuko Yoshida},
 year         = {2017},
 title        = {Explicit Connection Actions in Multiparty Session Types},
 editor       = {Marieke Huisman and Julia Rubin},
 booktitle    = {FASE},
 series       = {LNCS},
 volume       = {10202},
 publisher    = {Springer},
 pages        = {116--133},
 doi          = {10.1007/978-3-662-54494-5\_7},
)
@inproceedings(JY20,
 author       = {Sung{-}Shik Jongmans and Nobuko Yoshida},
 year         = {2020},
 title        = {Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types},
 editor       = {Peter M{\"{u}}ller},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {12075},
 publisher    = {Springer},
 pages        = {251--279},
 doi          = {10.1007/978-3-030-44914-8\_10},
)
@article(KMW20,
 author       = {Wen Kokke and J. Garrett Morris and Philip Wadler},
 year         = {2020},
 title        = {Towards Races in Linear Logic},
 journal      = {Logical Methods in Computer Science},
 volume       = {16},
 number       = {4},
 doi          = {10.23638/LMCS-16(4:15)2020},
)
@inproceedings(LTY15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {From Communicating Machines to Graphical Choreographies},
 editor       = {Sriram K. Rajamani and David Walker},
 booktitle    = {{POPL}},
 publisher    = {{ACM Press}},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)
@inproceedings(MMSZ21,
 author       = {Rupak Majumdar and Madhavan Mukund and Felix Stutz and Damien Zufferey},
 year         = {2021},
 title        = {Generalising Projection in Asynchronous Multiparty Session Types},
 editor       = {Serge Haddad and Daniele Varacca},
 booktitle    = {CONCUR},
 series       = {LIPIcs},
 volume       = {203},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {35:1--35:24},
 doi          = {10.4230/LIPIcs.CONCUR.2021.35},
)
@article(QKB21,
 author       = {Zesen Qian and G. A. Kavvos and Lars Birkedal},
 year         = {2021},
 title        = {Client-server sessions in linear logic},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {5},
 number       = {{ICFP}},
 pages        = {1--31},
 doi          = {10.1145/3473567},
)