@misc{indiciaee0f7d9b67e4f,
  title = {Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)},
  author = {Matteo Acclavio and Giulia Manara and Fabrizio Montesi},
  year = {2025},
  doi = {10.1007/978-3-031-91118-7\_2},
  url = {https://arxiv.org/abs/2501.08928},
  note = {Source identifier: 2501.08928}
}