Design-By-Contract for Flexible Multiparty Session Protocols.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Browse the full ECOOP paper archive.