Literature Review: Smart Contract Semantics
Varun Mathur · arXiv (Cornell University) · 2018
This review presents and evaluates various formalisms for the purpose of modelling the semantics of financial derivatives contracts. The formalism proposed by Lee is selected as the best candidate among those initially reviewed. Further examination and evaluation of this formalism is done.