维姆·赫塞林克。 命令式编程中对偶不确定性的交替状态。 (英语) Zbl 1208.68107号 西奥。计算。科学。 411,第22-24号,2317-2330(2010).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。411,No.22--24,2317--2330(2010;Zbl 1208.68107) 全文: 内政部 链接
C.B.琼斯。 安全地分裂原子。 (英语) Zbl 1111.68022号 西奥。计算。科学。 375,编号1-3,109-119(2007).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \文本{C.B.Jones},Theor。计算。科学。375,编号1--3,109-119(2007;Zbl 1111.68022) 全文: 内政部
多米尼克·坎塞尔;多米尼克·梅里 分布式算法的形式化和增量构造:关于分布式引用计数算法。 (英语) Zbl 1153.68560号 西奥。计算。科学。 364,第3期,318-337(2006).MSC公司:68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cansell}和\textit{D.Méry},Theor。计算。科学。364,第3号,318--337(2006;Zbl 1153.68560) 全文: 内政部
安娜贝拉·麦克维尔;卡罗尔·摩根 定量时间逻辑qTL中几乎确定的偶然性和抽象概率。 (英语) Zbl 1019.03022号 西奥。计算。科学。 293,第3期,507-534(2003).MSC公司:03B70号 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}和\textit{C.Morgan},Theor。计算。科学。293,编号3507-534(2003年;兹bl 1019.03022) 全文: 内政部
A.K.McIver。 概率分布式算法中的定量程序逻辑和预期时间界限。 (英语) Zbl 1050.68024号 西奥。计算。科学。 282,第1期,191-219(2002).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver},Theor(西奥)。计算。科学。282,第1号,191--219(2002;Zbl 1050.68024) 全文: 内政部
A.K.McIver。;C.摩根。 概率恶魔程序的部分正确性。 (英语) Zbl 0992.68137号 西奥。计算。科学。 266,编号1-2513-541(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan},Theor。计算。科学。266,编号1--2,513--541(2001;Zbl 0992.68137) 全文: 内政部
D.迈耶。;桑德斯,B。 撰写引线属性。 (英语) Zbl 0944.68127号 西奥。计算。科学。 243,编号1-2,339-361(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Meier}和\textit{B.Sanders},Theor。计算。科学。243,编号1--2,339--361(2000;Zbl 0944.68127) 全文: 内政部
阿斯蒂西亚诺,E。;雷吉奥,G。 形式主义和方法。 (英语) Zbl 0938.68056号 西奥。计算。科学。 236,编号1-2,3-34(2000).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}和\textit{G.Reggio},Theor。计算。科学。236,编号1--2,3--34(2000;Zbl 0938.68056) 全文: 内政部
张、崔;罗纳德·奥尔森。;卡尔·莱维特。 分布式编程语言编程逻辑的形式验证。 (英语) Zbl 0914.68126号 西奥。计算。科学。 216,第1-2号,213-235(1999).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhang}等人,Theor。计算。科学。216,编号1--2,213--235(1999;Zbl 0914.68126) 全文: 内政部
皮埃尔·科莱特;埃德加·纳普 基于状态的并发程序的安全性和进度属性的模块化推理基础。 (英语) Zbl 0901.68034号 西奥。计算。科学。 183,第2期,253-279(1997).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Collette}和\textit{E.Knapp},Theor。计算。科学。183,编号2253-279(1997;兹bl 0901.68034) 全文: 内政部
罗伯托·戈里埃里;乌戈·蒙塔纳里 网络计算中并发计算的实施:两个案例研究。 (英语) Zbl 0873.68144号 西奥。计算。科学。 141,第1-2期,195-252(1995).MSC公司:68问题85 68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}和\textit{U.Montanari},Theor。计算。科学。141,编号1--2,195-252(1995;Zbl 0873.68144) 全文: 内政部
多龙·贝利德;马泰·约瑟夫 通过规范转换实现容错的组合框架。 (英语) Zbl 0812.68092号 西奥。计算。科学。 128,编号1-2,99-125(1994). 审核人:F.Belli(帕德博恩) MSC公司:60年第68季度 68号01 68米15 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{M.Joseph},Theor。计算。科学。128,编号1--2,99-125(1994;Zbl 0812.68092) 全文: 内政部
杰拉德·贝里;杰拉德·布多尔 化学提取机。 (英语) Zbl 0747.68013号 西奥。计算。科学。 96,第1期,217-248(1992).MSC公司:2005年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Berry}和\textit{G.Boudol},Theor。计算。科学。96,第1号,217--248(1992;Zbl 0747.68013) 全文: 内政部
多米尼克·梅里 作为并发程序开发系统的\({\mathcal-NU}\)系统:\(\delta{\matchcal-NU}\)。 (英语) Zbl 0747.68037号 西奥。计算。科学。 94,第2期,311-334(1992).MSC公司:60年第68季度 68号01 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.梅里},Theor。计算。科学。94,第2号,311--334(1992;Zbl 0747.68037) 全文: 内政部