A theory of design-by-contract for distributed multiparty interactions
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
Download
full report
Download
paper