Published March 4, 2021
| Version v2
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
README.md
Files
(720.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:86174a93c4b350b107010d8ff3ea718d
|
1.1 kB | Download |
|
md5:d47e543302458a8f9fd59c7e8686c4db
|
6.7 kB | Preview Download |
|
md5:c4a323ee758515d356dff9d5df8ff2e6
|
720.9 MB | Download |