摘要：并发控制算法对协作文本编辑器的正确性证明的完整解决方案的首次呈现
作者：James Smith
论文ID：1303.7462
分类：Data Structures and Algorithms
分类简称：cs.DS
提交时间：2023-06-12
PDF 下载： 英文版 中文版pdf翻译中