Keep me out of the loop: a more flexible choreographic projection
Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen
[2023].
In proceedings of LPAR 2023, pp. 144-163.
@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} }
A PDF is available (possibly a preprint):