TY  - RPRT
TI  - A true concurrent model of smart contracts executions
AU  - Massimo Bartoletti
AU  - Letterio Galletta
AU  - Maurizio Murgia
PY  - 2020
UR  - https://arxiv.org/abs/1905.04366
ID  - 1905.04366
ER  -