Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio On resolving non-determinism in choreographies. (English) Zbl 07269246 Log. Methods Comput. Sci. 16, No. 3, Paper No. 18, 69 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Bocchi} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 18, 69 p. (2020; Zbl 07269246) Full Text: arXiv Link
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko Monitoring networks through multiparty session types. (English) Zbl 1359.68215 Theor. Comput. Sci. 669, 33-58 (2017). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Theor. Comput. Sci. 669, 33--58 (2017; Zbl 1359.68215) Full Text: DOI
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca Global progress for dynamically interleaved multiparty sessions. (English) Zbl 1361.68165 Math. Struct. Comput. Sci. 26, No. 2, 238-302 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Coppo} et al., Math. Struct. Comput. Sci. 26, No. 2, 238--302 (2016; Zbl 1361.68165) Full Text: DOI
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko A gentle introduction to multiparty asynchronous session types. (English) Zbl 1346.68034 Bernardo, Marco (ed.) et al., Formal methods for multicore programming. 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015, Bertinoro, Italy, June 15–19, 2015. Advanced lectures. Cham: Springer (ISBN 978-3-319-18940-6/pbk; 978-3-319-18941-3/ebook). Lecture Notes in Computer Science 9104, 146-178 (2015). MSC: 68M12 68M14 68N30 PDFBibTeX XMLCite \textit{M. Coppo} et al., Lect. Notes Comput. Sci. 9104, 146--178 (2015; Zbl 1346.68034) Full Text: DOI Link
Chen, Tzu-Chun Lightening global types. (English) Zbl 1337.68064 J. Log. Algebr. Methods Program. 84, No. 5, 708-729 (2015). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{T.-C. Chen}, J. Log. Algebr. Methods Program. 84, No. 5, 708--729 (2015; Zbl 1337.68064) Full Text: DOI arXiv