Choreographies as Functions
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
[2021].
In CoRR abs/2111.03701.
@article{DBLP:journals/corr/abs-2111-03701, author = {Lu{\'{\i}}s Cruz{-}Filipe and Eva Graversen and Lovro Lugovic and Fabrizio Montesi and Marco Peressotti}, title = {Choreographies as Functions}, journal = {CoRR}, volume = {abs/2111.03701}, year = {2021}, url = {https://arxiv.org/abs/2111.03701}, eprinttype = {arXiv}, eprint = {2111.03701}, timestamp = {Wed, 10 Nov 2021 16:07:30 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-03701.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }