@misc{indiciae9cef7de0d5b0,
  title = {Choreographic Programming: a Semantic Approach},
  author = {Matteo Acclavio and Giulia Manara and Fabrizio Montesi and Xueying Qin},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23793},
  note = {Source identifier: 2607.23793}
}