Proving Conditional Termination for Smart Contracts.

Ton Chanh Le Lei Xu Lin Chen Weidong Shi

Published in: BCC@AsiaCCS (2018)

Keyphrases

term rewrite systems
supply chain
random field model
smart grid
smart environments
data sets
data mining
e learning
website
bayesian networks
data structure
conditional logic
term rewriting
smart objects
rewrite systems