TY  - RPRT
TI  - Choreographic Programming: a Semantic Approach
AU  - Matteo Acclavio
AU  - Giulia Manara
AU  - Fabrizio Montesi
AU  - Xueying Qin
PY  - 2026
UR  - https://arxiv.org/abs/2607.23793
ID  - 2607.23793
ER  -