A true concurrent model of smart contracts executions.

Massimo Bartoletti Letterio Galletta Maurizio Murgia

Published in: CoRR (2019)

Keyphrases

probabilistic model
computational model
experimental data
neural network model
real time
database systems
similarity measure
management system
mathematical model
statistical model
database
neural network
least squares
hierarchical structure
formal model