哈维尔·埃斯帕尔扎;贾克斯,斯特凡;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 验证群体协议的复杂性。 (英语) Zbl 1522.68065号 分布计算。 34,第2期,133-177(2021).MSC公司:64岁以下 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人,Distrib.Comput。34、编号2、133--177(2021;Zbl 1522.68065) 全文: 内政部 arXiv公司
林一燕;桑迪普·库尔卡尼;阿尔沙德·朱姆卡 容错优雅降级的自动化。 (英语) Zbl 1451.68059号 分布计算。 32,第1号,第1-25页(2019年).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}等人,《分布计算》。32,编号1,1-25(2019;Zbl 1451.68059) 全文: 内政部 链接
贝拉德,贝特里奇;帕斯卡·拉福卡德;小米、劳瑞;玛丽亚·波托普·布图卡鲁;蒂里·米格(Yann Thierry-Mieg);塞巴斯蒂安·蒂谢尔 移动机器人协议的形式化验证。 (英语) Zbl 1410.68217号 分布计算。 29,第6期,459-487(2016).MSC公司:60年第68季度 68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《分布计算》。29,第6号,459--487(2016;Zbl 1410.68217) 全文: 内政部 哈尔
福阿德·阿布贾拉德;林一燕;博尔祖·博纳克达尔普尔;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) 全文: 内政部
博尔祖·博纳克达尔普尔;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) 全文: 内政部
拉希德·格拉乌伊;托马斯·亨辛格。;瓦苏·辛格 模型检查事务性内存。 (英语) 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) 全文: 内政部 链接
莱斯利·兰波特 使用线程实现数据流。 (英语) Zbl 1267.68037号 分布计算。 第3163-181号第21页(2008年).MSC公司:68M10个 68宽15 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},分布计算。21,第3号,163--181(2008;Zbl 1267.68037) 全文: 内政部
乔夫罗伊·博基尔;玛丽亚·格拉迪纳鲁;科莱特·约翰恩 环上任意调度下的随机自稳定和空间最优领导者选举。 (英语) Zbl 1266.68063号 分布计算。 20,第1期,75-93(2007).MSC公司:68米15 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Beauquier}等人,《分布计算》。20,第1号,75--93(2007;Zbl 1266.68063) 全文: 内政部
苏库马尔·戈什;阿罗宾达·古普塔;特德·赫尔曼;斯里拉姆五世(Sriram V.Pemmaraju)。 包含故障的自稳定分布式协议。 (英语) Zbl 1266.68064号 分布计算。 20,第1期,53-73(2007).MSC公司:68米15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghosh}等人,《分布计算》。20,编号1,53--73(2007;Zbl 1266.68064) 全文: 内政部
高,H。;J.F.格罗特。;西赫塞林克。 具有开放寻址的无锁动态哈希表。 (英语) 兹比尔1264.68217 分布计算。 18,第1期,21-42(2005).MSC公司:68宽15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,Distrib.Comput。18,第1号,21-42(2005年;兹bl 1264.68217) 全文: 内政部 arXiv公司
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆 在基于知识的编程中使用反事实。 (英语) Zbl 1448.68408号 分布计算。 17,第2期,91-106(2004).MSC公司:68立方英尺 68号30 68问题85 第68页第27页 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{Y.Moses},分布计算。17,第2号,91--106(2004;Zbl 1448.68408) 全文: 内政部 arXiv公司
玛丽·杜弗洛特;劳伦·弗里堡;克劳迪娜·皮卡罗尼 没有公平假设的随机就餐哲学家。 (英语) Zbl 1448.68091号 分布计算。 17,第1期,65-76(2004).MSC公司:64岁以下 68平方米 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Duflot}等人,《分布计算》。17,编号1,65--76(2004;Zbl 1448.68091) 全文: 内政部
多列夫,什洛米;弗兰克·斯托普 通过在线监测确保安全。 (英语) Zbl 1448.68089号 分布计算。 16,第4期,269-277(2003).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dolev}和\textit{F.Stomp},分布计算。16,第4号,269--277(2003;Zbl 1448.68089) 全文: 内政部
迈克尔·菲舍尔。;迈克尔·梅里特 评估二十年来分布式计算理论研究。 (英语) Zbl 1448.68026号 分布计算。 16,编号2-3,239-247(2003).MSC公司:68-03 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{M.Merritt},分布式计算。16、编号2--3、239--247(2003;Zbl 1448.68026) 全文: 内政部
詹姆斯·安德森。;金永吉;特德·赫尔曼 共享内存互斥:1986年以来的主要研究趋势。 (英语) Zbl 1448.68061号 分布计算。 16,编号2-3,75-110(2003).MSC公司:64岁以下 68宽15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Anderson}等人,《分布计算》。16,编号2--3,75-110(2003;Zbl 1448.68061) 全文: 内政部
莱斯利·兰波特 公平和超公平。 (英语) Zbl 1448.68137号 分布计算。 13,第4期,239-245(2000).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},分布计算。13,第4号,239--245(2000;Zbl 1448.68137) 全文: 内政部
安娜,波哥西亚特;罗伯特·塞加拉;南希·林奇 Aspnes和Herlihy随机一致性算法的验证:案例研究。 (英语) Zbl 1448.68156号 分布计算。 第3期第13期,第155-186页(2000年).MSC公司:64岁以下 65年第68季度 60年第68季度 第68季度87 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Pogosyants}等人,《分布计算》。13,编号3155-186(2000年;兹bl 1448.68156) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。 基于知识的计划。 (英语) Zbl 1448.68406号 分布计算。 10,第4期,199-225(1997).MSC公司:68立方英尺 68号30 68问题85 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}等人,《分布计算》。10,第4号,199--225(1997;Zbl 1448.68406) 全文: 内政部
拉杰夫·阿鲁尔;加迪·陶本费尔德 基于快速计时的算法。 (英语) Zbl 1448.68466号 分布计算。 10,第1期,1-10(1996).MSC公司:68宽15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{G.Taubenfeld},分布计算。10,第1号,1-10(1996;Zbl 1448.68466) 全文: 内政部
雅各布·布鲁内克里夫;Joost-Pieter卡托恩;罗恩·科曼斯;绍克·莫 广播网络中动态领导者选举协议的设计与分析。 (英语) Zbl 1448.68077号 分布计算。 9,第4期,157-171(1996).MSC公司:64岁以下 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brunekreef}等人,《分布计算》。9,第4号,157--171(1996;Zbl 1448.68077) 全文: 内政部 链接
Jonsson,孟加拉人 数据流和异步网络的完全抽象跟踪模型。 (英语) Zbl 0813.68095号 分布计算。 7,第4期,197-212(1994).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson},分布式计算。7,第4号,197--212(1994;Zbl 0813.68095) 全文: 内政部
莱因哈德·施瓦兹;弗里德曼·马特恩 检测分布式计算中的因果关系:寻找圣杯。 (英语) Zbl 0813.68096号 分布计算。 7,第3期,149-174(1994).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Schwarz}和\textit{F.Mattern},分布计算。7,第3号,149--174(1994;Zbl 0813.68096) 全文: 内政部
Shmuel Katz;肯尼思·佩里。 消息传递系统的自我稳定扩展。 (英语) Zbl 1282.68077号 分布计算。 7,第1期,17-26(1993).MSC公司:68M10个 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{K.J.Perry},分布计算。7,第1号,17--26(1993;Zbl 1282.68077) 全文: 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 (英语) Zbl 0773.68053号 分布计算。 6,第2期,107-120(1992).MSC公司:60年第68季度 68宽15 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},分布计算。6,编号2,107-120(1992;Zbl 0773.68053) 全文: 内政部
Lam,Simon S。;Shankar,A.乌达亚 指定模块以满足接口:状态转换系统方法。 (英语) Zbl 0748.68014号 分布计算。 6,第1号,39-63(1992).MSC公司:第68页,共15页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Lam}和\textit{A.U.Shankar},分布计算。6,编号1,39--63(1992;Zbl 0748.68014) 全文: 内政部
雷诺·库基·苏尼奥 联合行动的操作规范:可序列化数据库。 (英语) Zbl 0748.68013号 分布计算。 6,第1期,第19-37页(1992年).MSC公司:第68页,共15页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio},分布式计算。6,编号1,19--37(1992;Zbl 0748.68013) 全文: 内政部
曼弗雷德·布罗伊 交互式可序列化数据库接口的代数和函数规范。 (英语) Zbl 0748.68011号 分布计算。 6,第1期,5-18页(1992年).MSC公司:第68页,共15页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},分发。计算。6,编号1,5--18(1992;Zbl 0748.68011) 全文: 内政部
西古尔德·梅尔达尔 生成的完整公理语义。 (英语) Zbl 0731.68076号 分布计算。 5,第3期,159-174(1991).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meldal},分布计算。5,第3号,159--174(1991;Zbl 0731.68076) 全文: 内政部
帕里托什·K·潘迪亚。;马泰·约瑟夫 P-A逻辑—分布式程序的组合证明系统。 (英语) 兹比尔0723.68075 分布计算。 5,第1期,37-54(1991).MSC公司:60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{M.Joseph},Distrib.Comput。5,编号1,37-54(1991年;Zbl 0723.68075) 全文: 内政部
Maxemchuk,N.F.公司。;克莉莎·萨巴尼 通信协议的概率验证。 (英语) Zbl 0703.68023号 分布计算。 第3期,第118-129页(1989年).MSC公司:68平方米 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{N.F.Maxemchuk}和\textit{K.Sabnani},分布式计算。3,编号3,118--129(1989;Zbl 0703.68023) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗纳德·费金 对分布式系统中的知识和行为进行建模。 (英语) Zbl 0685.68076号 分布计算。 3,第4号,159-177(1989). 审核人:E.C.萨文 MSC公司:68吨99 68N99型 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{R.Fagin},分布式计算。3,第4号,159--177(1989;Zbl 0685.68076) 全文: 内政部
Janice I,格拉斯哥。;格伦·麦克尤恩(Glenn H.MacEwen)。 分布式系统的操作员网络模型。 (英语) Zbl 0677.68019号 分布计算。 196-209年第4期第3页(1989年).MSC公司:68问题65 68问题55 68N25号 68N99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Glasgow}和\textit{G.H.MacEwen},Distrib.Comput。3,第4号,196--209(1989;Zbl 0677.68019) 全文: 内政部
阿普特,克日什托夫R。;尼西姆·弗朗西兹;Shmuel Katz 评估分布式编程语言的公平性。 (英语) Zbl 0659.68023号 分布计算。 2,第4期,226-241(1988).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《分布计算》。2,第4号,226--241(1988;Zbl 0659.68023) 全文: 内政部
阿尔卑斯山,博文;弗雷德·施耐德。 认识到安全和活力。 (英语) Zbl 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) 全文: 内政部
范·阮;阿兰·德默斯;大卫·格里斯;苏珊,Owicki 过程网络的模型和时间证明系统。 (英语) Zbl 0598.68025号 分布计算。 1, 7-25 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Nguyen}等人,分布计算。1、7--25(1986年;Zbl 0598.68025) 全文: 内政部
阿米尔·普努利;勒诺尔·扎克 多进程概率协议的验证。 (英语) 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) 全文: 内政部