@misc{indiciae3b012927f4ee,
  title = {Certifying Choreography Compilation},
  author = {Luís Cruz-Filipe and Fabrizio Montesi and Marco Peressotti},
  year = {2021},
  doi = {10.1007/978-3-030-85315-0\_8},
  url = {https://arxiv.org/abs/2102.10698},
  note = {Source identifier: 2102.10698}
}