Published September 5, 2022
| Version v2
Software
Open
A Formal Theory of Choreographic Programming in Coq
Description
A formalisation in Coq of:
- a choreographic programming language (CC.v)
- a calculus of stateful processes (SP.v)
- a certified compiler for the choreographic language to the process calculus (EPP.v, EPPTheorem.v)
Coq version: 8.13.2
Files
README.md
Files
(3.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e461fabddc4cbac42267bbcc0f5a2ff7
|
264.1 kB | Download |
|
md5:4fcba36a4055f879c4ab49aeba008dc0
|
26.3 kB | Download |
|
md5:50ccdbedbfb16c43e18a999e0718bd38
|
69.3 kB | Download |
|
md5:f8353aec831bef0346db50b7b9953761
|
10.6 kB | Download |
|
md5:b9d0d3dfd06f49abab79cff2694c5e76
|
679.1 kB | Download |
|
md5:bea19e09f659370db90adb2587f3cf13
|
79.0 kB | Download |
|
md5:32ec0ea80ebaa0a266e505462ec6a139
|
186.3 kB | Download |
|
md5:477a58f4beb7403e9a1cebaab01ed634
|
18.2 kB | Download |
|
md5:ffa6074d2c6861303ff239b726e97a76
|
527.5 kB | Download |
|
md5:2128b1a64317b2638ec5b0562b189902
|
78.8 kB | Download |
|
md5:ce1e849cfa73bcf1b8ec3b096de64282
|
121.9 kB | Download |
|
md5:a144049676afd8ae0c44c7f2f884e13a
|
121.5 kB | Download |
|
md5:64368d7093e586e03eafd80f9a997d32
|
735.8 kB | Download |
|
md5:535ac9fe2134ab4cb7ffda8f4af57646
|
1.1 kB | Download |
|
md5:c51b2b3a9c40303755975f86dfcc6eea
|
153.7 kB | Download |
|
md5:88911fa102d43cf2e54508e98c69f297
|
18.7 kB | Download |
|
md5:c1d631d3a0de427110cfa8023146d1f8
|
358 Bytes | Preview Download |
|
md5:6ac22b00bbeb50417e65870f4bfd33de
|
446.0 kB | Download |
|
md5:a72a24f44dafa4f04e7a9222a4789444
|
71.6 kB | Download |
Additional details
Related works
- Is described by
- Conference paper: 10.1007/978-3-030-85315-0_8 (DOI)
- Report: 10.48550/arXiv.2209.01886 (DOI)