A Formal Theory of Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
[2023].
In J. Autom. Reason. 67.
@article{DBLP:journals/jar/CruzFilipeMP23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, title = {A Formal Theory of Choreographic Programming}, journal = {J. Autom. Reason.}, volume = {67}, number = {2}, pages = {21}, year = {2023}, url = {https://doi.org/10.1007/s10817-023-09665-3}, doi = {10.1007/s10817-023-09665-3}, timestamp = {Mon, 26 Jun 2023 20:56:54 +0200}, biburl = {https://dblp.org/rec/journals/jar/CruzFilipeMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):