本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 交会系统的参数化模型检查。 (英语) Zbl 1451.68165号 分布计算。 31,第3期,187-222(2018).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《分布计算》。31,第3号,187--222(2018;Zbl 1451.68165) 全文: DOI程序
贝拉德,贝特里奇;帕斯卡·拉福卡德;小米、劳瑞;玛丽亚·波托普·布图卡鲁;蒂里·米格(Yann Thierry-Mieg);塞巴斯蒂安·蒂谢尔 移动机器人协议的形式化验证。 (英语) Zbl 1410.68217号 分布计算。 29,第6期,459-487(2016).MSC公司:60年第68季度 68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Distrib.Comput。29,第6号,459--487(2016;Zbl 1410.68217) 全文: DOI程序 哈尔
福阿德·阿布贾拉德;林一燕;博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。 在没有明确合法状态的情况下自动添加容错的复杂性。 (英语) Zbl 1331.68031号 分布计算。 28,第3期,201-219(2015).MSC公司:68米15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Abujarad}等人,《分布计算》。28,第3号,201--219(2015;Zbl 1331.68031) 全文: DOI程序
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德 屏蔽容错分布式程序的符号合成。 (英语) Zbl 1285.68016号 分布计算。 25,第1期,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) 全文: DOI程序
筑谷由纪夫(Tatsuhiro 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) 全文: DOI程序 链接
拉希德·格拉乌伊;托马斯·亨辛格(Thomas A.Henzinger)。;瓦苏·辛格 模型检查事务性内存。 (英语) Zbl 1267.68143号 分布计算。 22,第3期,129-145(2010).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui}等人,《分布计算》。22,第3号,129--145(2010;Zbl 1267.68143) 全文: DOI程序 链接
G.曼杜奇。;莫罗,M。 一类分布式系统的自动验证。 (英语) Zbl 1448.68347号 分布计算。 13,第3期,127-143(2000).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Manduchi}和\textit{M.Moro},分布式计算。13,第3号,127--143(2000;Zbl 1448.68347) 全文: DOI程序
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。 基于知识的计划。 (英语) Zbl 1448.68406号 分布计算。 10,第4期,199-225(1997).MSC公司:68立方英尺 68号30 68问题85 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}等人,《分布计算》。10,第4号,199--225(1997;Zbl 1448.68406) 全文: DOI程序
乌富克·塞利坎;兰斯·克莱维兰 生成行为预订单的诊断信息。 (英语) 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) 全文: DOI程序
布鲁克斯,S.D。;A.W.罗斯科。 通信过程网络中的死锁分析。 (英语) Zbl 0717.68006号 分布计算。 4,第4期,209-230(1991).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Brookes}和\textit{A.W.Roscoe},分布式计算。4,编号4,209--230(1991;Zbl 0717.68006) 全文: DOI程序
阿尔卑斯山,博文;弗雷德·施耐德。 认识到安全和活力。 (英语) 兹伯利0641.68039 分布计算。 2, 117-126 (1987).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},分布式计算。2、117--126(1987年;Zbl 0641.68039) 全文: DOI程序