Published March 4, 2021
| Version v1
Software
Open
Zooid: a DSL for Certified Multiparty Computation
Authors/Creators
- 1. Imperial College London, University of Kent
- 2. Imperial College London
Description
Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types.
This artifact contains the implementation for "Zooid: a DSL for Certified Multiparty Computation" from PLDI'21
This code is maintained at: https://github.com/emtst/zooid-cmpst
Files
Files
(720.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c4a323ee758515d356dff9d5df8ff2e6
|
720.9 MB | Download |