Y.Kesten。;A.普努利。;J.西法基斯。;尤文,S。 可判定的集成图。 (英文) 兹比尔1045.68566 Inf.计算。 150,第2期,209-243(1999).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。150,第2号,209--243(1999;Zbl 1045.68566) 全文: 内政部 链接
多龙·贝利德;阿米尔·普努利 证明部分顺序属性。 (英文) Zbl 0803.68070号 西奥。计算。科学。 126,第2143-182号(1994年).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli},Theor。计算。科学。126,第2号,143--182(1994;Zbl 0803.68070) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 反应性模型。 (英文) Zbl 0790.68041号 学报信息。 30,第7期,609-678(1993).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},《学报参考》30,第7期,609--678(1993;Zbl 0790.68041) 全文: 内政部
北弗朗西兹。;D.莱曼。;A.普努利。 分布式编程语言的线性历史语义。 (英文) Zbl 0543.68019号 西奥。计算。科学。 32, 25-46 (1984).MSC公司:第68页第25页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,Theor。计算。科学。32、25-46(1984年;Zbl 0543.68019) 全文: 内政部
Krysztof R.阿普特。;A.普努利。;J.斯塔维。 重新审查公平终止——有延迟。 (英文) Zbl 0542.68015号 西奥。计算。科学。 33, 65-84 (1984).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,Theor。计算。科学。33、65-84(1984年;Zbl 0542.68015) 全文: 内政部
阿米尔·普努利 并发程序的时间语义。 (英文) Zbl 0441.68010号 西奥。计算。科学。 13, 45-60 (1981).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \文本{A.Pnueli},Theor。计算。科学。13、45-60(1981年;Zbl 0441.68010) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 程序完全正确性的公理方法。 (英文) Zbl 0263.68009号 学报信息。 3, 243-263 (1974).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},《信息学报》3,243--263(1974;Zbl 0263.68009) 全文: 内政部