@第{zbMATH07220548条，作者={Zhao，Xin和Haller，Philipp}，Title={统一最终一致性和可观察原子一致性的复制数据类型}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={114}，页码={21}，注={Id/编号100561}，年份={2020年}，语言={英语}，DOI={10.1016/j.jlamp.2020.100561}，关键词={68M14,03B70,68N19,68Q60}，zbMATH={7220548}，Zbl={1451.68056}}