TY  - RPRT
TI  - Contracts in distributed systems
AU  - Massimo Bartoletti
AU  - Emilio Tuosto
AU  - Roberto Zunino
PY  - 2011
DO  - 10.4204/eptcs.59.11
UR  - https://arxiv.org/abs/1108.0471
ID  - 1108.0471
ER  -