A theory of design-by-contract for distributed multiparty interactions

Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida