A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). DARTS, 3(2), 2017. [doi]

Authors

Alceste Scalas

This author has not been identified. Look up 'Alceste Scalas' in Google

Ornela Dardha

This author has not been identified. Look up 'Ornela Dardha' in Google

Raymond Hu

This author has not been identified. Look up 'Raymond Hu' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google