Published June 28, 2025
| Version v1
Software
Open
ITP'25 Artifact: Certified Implementability of Global Multiparty Protocols
Creators
Description
Rocq artifact accompanying ITP'25 paper: Certified Implementability for Multiparty Global Protocols
Files
itp25-artifact.zip
Files
(150.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ea757b5b05565dfec2a3ebae5f5c35c3
|
150.0 kB | Preview Download |
Additional details
Dates
- Available
-
2025-06-27