Formal Models of Bitcoin Contracts: A Survey.

Massimo Bartoletti Roberto Zunino

Published in: Frontiers Blockchain (2019)

Keyphrases

formal models
rule based systems
formal model
process model
supply chain
credit card
data sets
trusted third party
real world
wireless sensor networks
moral hazard
principal agent