Design-By-Contract for Flexible Multiparty Session Protocols

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. Design-By-Contract for Flexible Multiparty Session Protocols. In Karim Ali 0001, Jan Vitek, editors, 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. Volume 222 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 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