@Inproceedings{EPTCS59.10, author = {Bocchi, Laura and Lange, Julien and Tuosto, Emilio}, year = {2011}, title = {Amending Contracts for Choreographies}, editor = {Silva, Alexandra and Bliudze, Simon and Bruni, Roberto and Carbone, Marco}, booktitle = {{\rm Proceedings Fourth} Interaction and Concurrency Experience, {\rm Reykjavik, Iceland, 9th June 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {59}, publisher = {Open Publishing Association}, pages = {111-129}, doi = {10.4204/EPTCS.59.10}, }