1 paper
Stian Lybech, Eun-Young Kang, Riccardo Tonello +1
This paper develops a model of a smart-contract language for a blockchain architecture with off-chain components. Off-chain components are pieces of smart contracts that execute at…