Keep me out of the loop: a more flexible choreographic projection

@inproceedings{DBLP:conf/lpar/Cruz-FilipeMR23,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi and
                  Robert R. Rasmussen},
  editor       = {Ruzica Piskac and
                  Andrei Voronkov},
  title        = {Keep me out of the loop: a more flexible choreographic projection},
  booktitle    = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
                  for Programming, Artificial Intelligence and Reasoning, Manizales,
                  Colombia, 4-9th June 2023},
  series       = {EPiC Series in Computing},
  volume       = {94},
  pages        = {144--163},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/wbw3},
  doi          = {10.29007/WBW3},
  timestamp    = {Sat, 30 Sep 2023 09:52:10 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Cruz-FilipeMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}