TY - RPRT TI - On the realizability of contracts in dishonest systems AU - Massimo Bartoletti AU - Emilio Tuosto AU - Roberto Zunino PY - 2012 UR - https://arxiv.org/abs/1201.6188 ID - 1201.6188 ER -