Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Browse the full PLDI paper archive.