A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Browse the full ECOOP paper archive.