埃敏·卡拉耶尔;埃德加·冈萨·莱兹 协作编辑框架WOOT的最终一致性很强。 (英语) Zbl 1485.68021号 分布计算。 35,第2期,145-164(2022)。MSC公司:64岁以下 68第05页 60年第68季度 68单位15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Karayel}和\textit{E.González},分布计算。35,编号2,145--164(2022;Zbl 1485.68021) 全文: 内政部
本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗切斯科·斯佩尼;赫尔穆特·维思 交会系统的参数化模型检查。 (英语) Zbl 1451.68165号 分布计算。 31,第3期,187-222(2018)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《分布计算》。31,编号3187-222(2018;兹bl 1451.68165) 全文: 内政部
福阿德·阿布贾拉德;林一燕;博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。 在没有明确合法状态的情况下自动添加容错的复杂性。 (英语) Zbl 1331.68031号 分布计算。 28,第3期,201-219(2015)。MSC公司:68米15 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{F.Abujarad}等人,《分布计算》。28,编号3201-219(2015;兹bl 1331.68031) 全文: 内政部
柯特林·迪马;拉诺特、拉格罗 关于洗牌、秒表和独立进化时钟的研究。 (英语) Zbl 1277.68179号 分布计算。 第25期第1期第5-33页(2012年)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}和\textit{R.Lanotte},分布计算。25,第1号,第5--33号(2012;Zbl 1277.68179) 全文: 内政部
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德 屏蔽容错分布式程序的符号合成。 (英语) Zbl 1285.68016号 分布计算。 第1期第25页,第83-108页(2012年)。MSC公司:68米15 64岁以下 68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人,《分布计算》。25,编号1,83--108(2012;Zbl 1285.68016) 全文: 内政部
大弘Tsuchiya;安德烈·希珀 使用可满足性求解验证一致性算法。 (英语) Zbl 1231.68164号 分布计算。 23,编号5-6,341-358(2011)。MSC公司:60年第68季度 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{T.Tsuchiya}和\textit{A.Schiper},分布式计算。23、编号5--6、341--358(2011;Zbl 1231.68164) 全文: 内政部 链接
Kurki-Soonio,R。 增量和面向方面建模中的动作系统。 (英语) Zbl 1448.68131号 分布计算。 16,第2-3号,201-217(2003)。MSC公司:64岁以下 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio},分布式计算。16、编号2--3、201-217(2003;Zbl 1448.68131) 全文: 内政部
安娜,波哥西亚特;罗伯特·塞加拉;南希·林奇 Aspnes和Herlihy随机一致性算法的验证:案例研究。 (英语) 兹比尔1448.68156 分布计算。 13,第3期,155-186(2000)。MSC公司:64岁以下 65年第68季度 60年第68季度 87年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Pogosyants}等人,《分布计算》。13,第3号,155--186(2000;Zbl 1448.68156) 全文: 内政部
彼得·拉德金;莱斯利·兰波特;布莱恩·奥利维尔;丹尼斯·罗格尔 TLA中的延迟缓存。 (英语) Zbl 1448.68132号 分布计算。 12,编号2-3,151-174(1999)。MSC公司:64岁以下 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ladkin}等人,Distrib.Comput。12,编号2--3,151-174(1999;Zbl 1448.68132) 全文: 链接
埃德·布林克斯马 按设计缓存一致性。 (英语) Zbl 1448.68076号 分布计算。 12,编号2-3,61-74(1999)。MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Brinksma},分布计算。12,编号2--3,61-74(1999;Zbl 1448.68076) 全文: 链接
詹姆斯·格雷(James W.III Gray);保罗·F·西弗森。 概率系统多级安全的逻辑方法。 (英语) Zbl 1448.68190号 分布计算。 11,No.2,73-90(1998)。MSC公司:68平方米25 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Gray III}和\textit{P.F.Syverson},Distrib.Comput。11,第2号,73--90(1998;Zbl 1448.68190) 全文: 内政部 链接
乌富克·塞利坎;兰斯·克莱维兰 生成行为预订单的诊断信息。 (英语) Zbl 1448.68334号 分布计算。 9,第2期,61-75(1995)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Celikkan}和\textit{R.Cleaveland},分布式计算。9,第2号,61--75(1995;Zbl 1448.68334) 全文: 内政部
阿米尔·普努利;勒诺尔·扎克 多进程概率协议的验证。 (英语) Zbl 0598.68019号 分布计算。 1,53-72(1986年)。MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{L.Zuck},分布计算。1、53--72(1986年;Zbl 0598.68019) 全文: 内政部