TY  - RPRT
TI  - Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
AU  - Matteo Acclavio
AU  - Giulia Manara
AU  - Fabrizio Montesi
PY  - 2025
DO  - 10.1007/978-3-031-91118-7_2
UR  - https://arxiv.org/abs/2501.08928
ID  - 2501.08928
ER  -