TY  - RPRT
TI  - Reasoning about Choreographic Programs
AU  - Luís Cruz-Filipe
AU  - Eva Graversen
AU  - Fabrizio Montesi
AU  - Marco Peressotti
PY  - 2023
UR  - https://arxiv.org/abs/2304.14539
ID  - 2304.14539
ER  -