文件大小：1 MB 16页
复制列表的规范与实现：Jupiter协议的再认识
作者
-
部分： 体积： 第22届分布式系统原理国际会议（OPODIS 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 国际分布式系统原理会议（OPODIS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2019-01-15
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算方法→分布式计算方法 软件及其工程→正确性 以人为中心的计算→协作和社会计算系统和工具
关键词
协作文本编辑系统 复制的列表 并发控制 强/弱列表规范 运营转型 Jupiter协议
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
阿帕奇波浪。 网址： https://孵化器.apache.org/wave/ . -
谷歌文档。 网址： https://docs.google.com . -
新谷歌文档的不同之处：快速协作。 网址： https://drive.googleblog.com/2010/09/whats-different-about-new-google-docs.html . -
Apache Wave（孵化）协议文档（0.4版），2015年8月22日。 
-
Hagit Attiya、Sebastian Burckhardt、Alexey Gotsman、Adam Morrison、Hongseok Yang和Marek Zawirski。 协同文本编辑的规范性和复杂性。 2016年ACM分布式计算原理研讨会论文集，PODC’16，第259-268页。 ACM，2016年。
-
Hagit Attiya、Faith Ellen和Adam Morrison。 高可用最终一致数据存储的限制。 2015年ACM分布式计算原理研讨会论文集，PODC’15，第385-394页。 ACM，2015年。
-
塞巴斯蒂安·伯克哈特（Sebastian Burckhardt）、阿列克谢·戈茨曼（Alexey Gotsman）、杨洪硕（Hongseok Yang）和马雷克·扎维斯基（Marek Zawirski）。 复制数据类型：规范、验证、优化。 第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，第271-284页。 ACM，2014年。
-
C.A.Ellis和S.J.Gibbs。 群件系统中的并发控制。 1989年ACM SIGMOD国际数据管理会议记录，SIGMOD'89，第399-407页。 ACM，1989年。
-
阿卜杜萨马德·伊明、米歇尔·鲁西诺维奇、盖拉尔德·奥斯特和帕斯卡尔·莫利。 副本收敛操作转换算法的形式化设计和验证。 西奥。 计算。 科学。， 351（2）：167-1832006年2月。
-
莱斯利·兰波特。 分布式系统中的时间、时钟和事件顺序。 Commun公司。 ACM，21（7）：558-5651978年7月。
-
Bo Leuf和Ward Cunningham。 维基方式：网上快速协作。 Addison-Wesley Longman Publishing Co.，Inc.，美国马萨诸塞州波士顿，2001年。
-
芮莉、杜莉和孙承正。 一种基于时间间隔的交互式群件应用一致性控制算法。 《第十届并行和分布式系统国际会议论文集》，ICPADS’04，第429-438页，2004年。
-
David A.Nichols、Pavel Curtis、Michael Dixon和John Lamping。 Jupiter协作系统中的高频率、低带宽窗口。 第八届ACM用户界面和软件技术年度研讨会论文集，UIST’95，第111-120页。 ACM，1995年。
-
Atul Prakash和Michael J.Knister。 协作系统中撤消操作的框架。 ACM事务处理。 计算- 嗯，互动。， 1（4）：295-3301994年12月。
-
Matthias Ressel、Doris Nitsche-Ruhland和Rul Gunzenhäuser。 一种面向转换的集成方法，用于组编辑器中的并发控制和撤消。 《1996年ACM计算机支持合作工作会议记录》，CSCW’96，第288-297页。 ACM，1996年。
-
玄高禄、明治真、金秀珍和李俊勋。 复制的抽象数据类型：协作应用程序的构建块。 J.平行分布计算。， 71（3）：354-3682011年3月。
-
马克·夏皮罗（Marc Shapiro）、努诺·普雷古伊萨（Nuno Preguiça）、卡洛斯·巴奎罗（Carlos Baquero）和马雷克·扎维斯基（Marek Zawirski）。 无冲突的复制数据类型。 《第13届分布式系统稳定、安全与保障国际会议论文集》，SSS’11，第386-400页。 Springer-Verlag，2011年。
-
沈海峰和孙成政。 协作系统的灵活通知。 《2002年ACM计算机支持合作工作会议记录》，CSCW'02，第77-86页。 ACM，2002年。
-
孙成政。 在组编辑器中作为并发反转撤消。 ACM事务处理。 计算- 嗯。互动。， 9（4）：309-3612002年12月。
-
孙成政（Chengzheng Sun）和埃利斯（Clarence Ellis）。 实时群组编辑中的操作转换：问题、算法和成就。 1998年美国计算机学会计算机支持的合作工作会议记录，CSCW'98，第59-68页。 ACM，1998年。
-
孙成政、贾晓华、张延春、杨云和陈大卫。 在实时协同编辑系统中实现收敛、因果关系保持和意图保持。 ACM事务处理。 计算- 嗯，互动。， 5（1）：63-1081998年3月。
-
孙成政、徐毅和阿古斯汀娅·阿古斯丁。 对运营转型中的难题进行穷尽式搜索。 《第17届ACM计算机支持合作工作会议论文集》，CSCW’14，第519-529页。 ACM，2014年。
-
孙大卫和孙成政。 分布式协同编辑系统中基于上下文的操作转换。 IEEE传输。 并行分配系统。， 20（10）:11454-14702009年10月。
-
尼古拉·维多特（Nicolas Vidot）、米歇尔·卡特（Michelle Cart）、让·费里（Jean Ferrié）和马赫尔·苏莱曼（Maher Suleiman）。 分布式实时协作环境中的副本聚合。 《2000年ACM计算机支持合作工作会议论文集》，CSCW'00，第171-180页。 ACM，2000年。
-
魏恒峰，黄瑜，陆健。复制列表的规范与实现：木星协议的再探讨。 CoRR，abs/1708.047542017年。
-
徐毅，孙成政，莫莉。在运营转型中实现融合：条件、机制和制度。 《第17届ACM计算机支持合作工作会议记录》，CSCW’14，第505-518页。 ACM，2014年。