Yao-Chieh Hu, Ting Ting Lee, Dimitris Chatzopoulos, Pan Hui. Analyzing smart contract interactions and contract level state consensus. Concurrency - Practice and Experience, 32(12), 2020. [doi]
@article{HuLCH20, title = {Analyzing smart contract interactions and contract level state consensus}, author = {Yao-Chieh Hu and Ting Ting Lee and Dimitris Chatzopoulos and Pan Hui}, year = {2020}, doi = {10.1002/cpe.5228}, url = {https://doi.org/10.1002/cpe.5228}, researchr = {https://researchr.org/publication/HuLCH20}, cites = {0}, citedby = {0}, journal = {Concurrency - Practice and Experience}, volume = {32}, number = {12}, }