Article,
A Formal Theory of Choreographic Programming.
L. Cruz-Filipe, F. Montesi, and M. Peressotti.CoRR, (2022)
Meta data
- BibTeX key
- journals/corr/abs-2209-01886
- entry type
- article
- year
- 2022
- journal
- CoRR
- volume
- abs/2209.01886
- ee
- https://doi.org/10.48550/arXiv.2209.01886
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2209.html#abs-2209-01886
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2209-01886
%A Cruz-Filipe, Luís
%A Montesi, Fabrizio
%A Peressotti, Marco
%D 2022
%J CoRR
%K dblp
%T A Formal Theory of Choreographic Programming.
%U http://dblp.uni-trier.de/db/journals/corr/corr2209.html#abs-2209-01886
%V abs/2209.01886
@article{journals/corr/abs-2209-01886,
added-at = {2022-09-26T00:00:00.000+0200},
author = {Cruz-Filipe, Luís and Montesi, Fabrizio and Peressotti, Marco},
biburl = {https://www.bibsonomy.org/bibtex/2e82680ce0e1f0e30bd153c9b87f791bc/dblp},
ee = {https://doi.org/10.48550/arXiv.2209.01886},
interhash = {5a8c5e967c2114a6276dc09755580c70},
intrahash = {e82680ce0e1f0e30bd153c9b87f791bc},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T21:54:28.000+0200},
title = {A Formal Theory of Choreographic Programming.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2209.html#abs-2209-01886},
volume = {abs/2209.01886},
year = 2022
}