Analyzing smart contract interactions and contract level state consensus[J] CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2020(32) Hu, Yao-Chieh Lee, Ting-Ting Chatzopoulos, Dimitris Hui, Pan
