@misc{indiciaed03067e4adc0,
  title = {From Infinity to Choreographies: Extraction for Unbounded Systems},
  author = {Bjørn Angel Kjær and Luís Cruz-Filipe and Fabrizio Montesi},
  year = {2022},
  url = {https://arxiv.org/abs/2207.08884},
  note = {Source identifier: 2207.08884}
}