Analyzing smart contract interactions and contract level state consensus

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},
}