External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

David Castro-Perez, Francisco Ferreira 0001, Lorenzo Gheri, Nobuko Yoshida. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 237-251, ACM, 2021. [doi]

Authors

David Castro-Perez

This author has not been identified. Look up 'David Castro-Perez' in Google

Francisco Ferreira 0001

This author has not been identified. Look up 'Francisco Ferreira 0001' in Google

Lorenzo Gheri

This author has not been identified. Look up 'Lorenzo Gheri' in Google

Nobuko Yoshida

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