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
Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko Global progress in dynamically interleaved multiparty sessions. (English) Zbl 1160.68456 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 418-433 (2008). MSC: 68Q85 68M12 PDFBibTeX XMLCite \textit{L. Bettini} et al., Lect. Notes Comput. Sci. 5201, 418--433 (2008; Zbl 1160.68456) Full Text: DOI
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko Asynchronous session types and progress for object oriented languages. (English) Zbl 1202.68094 Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 1-31 (2007). MSC: 68N19 68N15 PDFBibTeX XMLCite \textit{M. Coppo} et al., Lect. Notes Comput. Sci. 4468, 1--31 (2007; Zbl 1202.68094) Full Text: DOI Link