TY  - RPRT
TI  - Choreographies and Behavioural Contracts on the Way to Dynamic Updates
AU  - Mario Bravetti
AU  - Gianluigi Zavattaro
PY  - 2014
DO  - 10.4204/eptcs.168.2
UR  - https://arxiv.org/abs/1411.3791
ID  - 1411.3791
ER  -