TY  - RPRT
TI  - Amending Contracts for Choreographies
AU  - Laura Bocchi
AU  - Julien Lange
AU  - Emilio Tuosto
PY  - 2011
DO  - 10.4204/eptcs.59.10
UR  - https://arxiv.org/abs/1108.0470
ID  - 1108.0470
ER  -