@misc{indiciae608027b15ec8,
  title = {A true concurrent model of smart contracts executions},
  author = {Massimo Bartoletti and Letterio Galletta and Maurizio Murgia},
  year = {2020},
  url = {https://arxiv.org/abs/1905.04366},
  note = {Source identifier: 1905.04366}
}