TY  - RPRT
TI  - A Theory of Formal Choreographic Languages
AU  - Franco Barbanera
AU  - Ivan Lanese
AU  - Emilio Tuosto
PY  - 2023
DO  - 10.46298/lmcs-19(3:9)2023
UR  - https://arxiv.org/abs/2210.08223
ID  - 2210.08223
ER  -