@inproceedings{SpecFramework:SRDS2020,
  author = {Jiang, Xue and Wei, Hengfeng and Huang, Yu},
  title = {A Generic Specification Framework for Weakly Consistent Replicated Data Types},
  booktitle = {2020 International Symposium on Reliable Distributed Systems (SRDS)},
  year = {2020},
  pages = {143--154},
  doi = {10.1109/SRDS51746.2020.00022},
  url = {https://doi.org/10.1109/SRDS51746.2020.00022}
}