TY  - RPRT
TI  - Certified Compilation of Choreographies with hacc
AU  - Luís Cruz-Filipe
AU  - Lovro Lugović
AU  - Fabrizio Montesi
PY  - 2023
UR  - https://arxiv.org/abs/2303.03972
ID  - 2303.03972
ER  -