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
Date made available5. Sept 2022
PublisherZenodo

Cite this