TY  - RPRT
TI  - Certifying Choreography Compilation
AU  - Luís Cruz-Filipe
AU  - Fabrizio Montesi
AU  - Marco Peressotti
PY  - 2021
DO  - 10.1007/978-3-030-85315-0_8
UR  - https://arxiv.org/abs/2102.10698
ID  - 2102.10698
ER  -