TY  - RPRT
TI  - An event-based model for contracts
AU  - Massimo Bartoletti
AU  - Tiziana Cimoli
AU  - G. Michele Pinna
AU  - Roberto Zunino
PY  - 2013
DO  - 10.4204/eptcs.109.3
UR  - https://arxiv.org/abs/1302.6330
ID  - 1302.6330
ER  -