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]

Authors

Lorenzo Gheri

This author has not been identified. Look up 'Lorenzo Gheri' in Google

Ivan Lanese

This author has not been identified. It may be one of the following persons: Look up 'Ivan Lanese' in Google

Neil Sayers

This author has not been identified. Look up 'Neil Sayers' in Google

Emilio Tuosto

This author has not been identified. Look up 'Emilio Tuosto' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google