Choreographies, Computationally
Luís Cruz-Filipe, Fabrizio Montesi
[2015].
In CoRR abs/1510.03271.
@article{DBLP:journals/corr/Cruz-FilipeM15, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {Choreographies, Computationally}, journal = {CoRR}, volume = {abs/1510.03271}, year = {2015}, url = {http://arxiv.org/abs/1510.03271}, eprinttype = {arXiv}, eprint = {1510.03271}, timestamp = {Mon, 13 Aug 2018 16:48:39 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):