Design-By-Contract for Flexible Multiparty Session Protocols. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (ECOOP, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (CoRR, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)