A True Concurrent Model of Smart Contracts Executions.

Massimo Bartoletti Letterio Galletta Maurizio Murgia

Published in: COORDINATION (2020)

Keyphrases

high level
experimental data
expert systems
statistical model
theoretical analysis
mathematical model
process model
network model
data sets
object model
bayesian framework
hierarchical structure
theoretical framework
probabilistic model
cost function
objective function
web services
data mining
neural network