A Theory of Design-by-Contract for Distributed Multiparty Interactions.

Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida

Browse the full CONCUR paper archive.