Kurki-Soonio,R。 增量和面向方面建模中的动作系统。 (英语) Zbl 1448.68131号 分布计算。 16,第2-3号,201-217(2003).MSC公司:68米14 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki Suonio},分布式计算。16、编号2--3、201-217(2003;Zbl 1448.68131) 全文: 内政部
彼得·拉德金;莱斯利·兰波特;布莱恩·奥利维尔;丹尼斯·罗格尔 TLA中的延迟缓存。 (英语) Zbl 1448.68132号 分布计算。 12,编号2-3,151-174(1999).MSC公司:68米14 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ladkin}等人,《分布计算》。12,编号2--3,151-174(1999;Zbl 1448.68132) 全文: 链接
本特·琼森;阿米尔·普努利;臀部,卡米拉 使用转导证明精细化。 (英语) Zbl 1448.68118号 分布计算。 12,编号2-3,129-149(1999).MSC公司:68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}等人,《分布计算》。12,编号2--3,129-449(1999;Zbl 1448.68118) 全文: 链接
苏珊娜·格拉芙 顺序一致存储器的特征描述和通过抽象验证缓存存储器。 (英语) Zbl 1448.68103号 分布计算。 12,编号2-3,75-90(1999).MSC公司:68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf},分布计算。12,编号2--3,75-90(1999;Zbl 1448.68103) 全文: 链接
克里斯特尔·拜尔;玛尔塔·奎亚特科夫斯卡 具有公平性的概率分支时间逻辑的模型检验。 (英语) Zbl 1448.68285号 分布计算。 11,第3期,125-155(1998).MSC公司:60年第68季度 03B44号 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.Kwiatkowska},Distrib.Comput。11,第3号,125--155(1998年;Zbl 1448.68285) 全文: 链接
雅各布·布鲁克利夫;Joost-Pieter卡托恩;罗恩·科曼斯;绍克·莫 广播网络中动态领导者选举协议的设计与分析。 (英语) Zbl 1448.68077号 分布计算。 9,第4期,157-171(1996).MSC公司:68米14 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brunekreef}等人,《分布计算》。9,第4号,157--171(1996;Zbl 1448.68077) 全文: 内政部 链接
阿米尔·普努利;勒诺尔·扎克 多进程概率协议的验证。 (英语) Zbl 0598.68019号 分布计算。 1, 53-72 (1986).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{L.Zuck},分布计算。1、53--72(1986年;Zbl 0598.68019) 全文: 内政部