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
Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. (English) Zbl 1341.68118 Form. Methods Syst. Des. 46, No. 3, 197-225 (2015). MSC: 68Q60 68N15 68N19 68Q85 PDFBibTeX XMLCite \textit{R. Demangeon} et al., Form. Methods Syst. Des. 46, No. 3, 197--225 (2015; Zbl 1341.68118) Full Text: DOI