Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). DARTS, 8(2), 2022. [doi]

Abstract

Abstract is missing.