@article{CRDT-TLA:JOS2020,
  author = {Ji, Ye and Wei, Hengfeng and Huang, Yu and Lu, Jian},
  title = {Specifying and Verifying {CRDT} Protocols Using {TLA+} (in Chinese)},
  journal = {Journal of Software},
  year = {2020},
  volume = {31},
  number = {5},
  pages = {1332--1352}
}