@misc{indiciaeef8f133eab98,
  title = {Amending Contracts for Choreographies},
  author = {Laura Bocchi and Julien Lange and Emilio Tuosto},
  year = {2011},
  doi = {10.4204/eptcs.59.10},
  url = {https://arxiv.org/abs/1108.0470},
  note = {Source identifier: 1108.0470}
}