Amending Choreographies
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
[2013].
In proceedings of WWV 2013, pp. 34-48.
@inproceedings{DBLP:journals/corr/LaneseMZ13, author = {Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro}, editor = {Ant{\'{o}}nio Ravara and Josep Silva}, title = {Amending Choreographies}, booktitle = {Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {123}, pages = {34--48}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.123.5}, doi = {10.4204/EPTCS.123.5}, timestamp = {Wed, 12 Sep 2018 01:05:16 +0200}, biburl = {https://dblp.org/rec/journals/corr/LaneseMZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):