@inbook(Coppo2015GentleIntroMAPST, author = {M.~Coppo and M.~Dezani-Ciancaglini and L.~Padovani and N.~Yoshida}, year = {2015}, title = {A Gentle Introduction to Multiparty Asynchronous Session Types}, doi = {10.1007/978-3-319-18941-3\_4}, ) @article(CDYP16GlobalProgressMSCS, author = {M.~Coppo and M.~Dezani-Ciancaglini and N.~Yoshida and L.~Padovani}, year = {2016}, title = {{Global Progress for Dynamically Interleaved Multiparty Sessions}}, journal = {{MSCS}}, volume = {26}, number = {2}, doi = {10.1017/S0960129514000188}, ) @inproceedings(DGJPY15Precisenes, author = {M.~Dezani-Ciancaglini and S.~Ghilezan and S.~Jak\v{s}i\'c and J.~Pantovi\'c and N.~Yoshida}, year = {2016}, title = {Precise subtyping for synchronous multiparty sessions}, booktitle = {{PLACES 2015}}, doi = {10.4204/EPTCS.203.3}, ) @inproceedings(HYC08, author = {K.~Honda and N.~Yoshida and M.~Carbone}, year = {2008}, title = {Multiparty asynchronous session types}, booktitle = {POPL}, doi = {10.1145/1328438.1328472}, note = {Full version: Volume 63, Issue 1, March 2016 (9), pages 1-67, {\em JACM}}, ) @inproceedings(Lange2015GraphChor, author = {J.~Lange and E.~Tuosto and N.~Yoshida}, year = {2015}, title = {From Communicating Machines to Graphical Choreographies}, booktitle = {{POPL}}, doi = {10.1145/2676726.2676964}, ) @techreport(TECHREPORT, author = {A.~Scalas and N.~Yoshida}, year = {2017}, title = {Multiparty Session Types, Beyond Duality}, type = {Technical Report}, institution = {{Imperial} {College} {London}}, url = {https://www.doc.ic.ac.uk/research/technicalreports/2017/}, )