阿米尔·普努利 并发程序的时间语义。 （英语） Zbl 0441.68010号 西奥。计算。科学。 13, 45-60 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于1审查引用于80文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68页第25页 操作系统理论 关键词：并发程序的语义；时序逻辑 PDF格式BibTeX公司 XML格式引用 \文本{A.Pnueli}，Theor。计算。科学。13、45-60（1981年；Zbl 0441.68010） 全文： 内政部 参考文献： [1] Ashcroft，E.A.，《证明关于并行程序的断言》，J.Compute。系统科学。，10, 1, 110-135 (1975) ·Zbl 0299.68013号 [2] 阿什克罗夫特，E.A。；Wadge，W.W.，《明晰中的间歇断言证明》（Gilchrist，B.，《信息处理》，77（1977），北荷兰：北荷兰阿姆斯特丹），723-726·兹伯利0363.68021 [3] Brinch Hansen，P.，《两个同步概念的比较》，《信息学报》。，190-199年1月（1972年）·Zbl 0226.68027号 [4] Büchi，J.R.，《关于限制二阶算术中的决策方法》，加利福尼亚州斯坦福市，加利福尼亚州，国际逻辑方法论和科学哲学大会（1960年）·Zbl 0142.24902号 [5] Bull，R.A.，Diodorean模态系统的代数研究，J.符号逻辑，30，58-64（1965）·兹伯利0129.25707 [6] Burstall，R.M.，一阶逻辑程序结构和语义的形式化描述，机器智能，579-98（1970）·Zbl 0221.68018号 [7] 杜米特，硕士。；Lemmon，E.J.，《（S4）和（S5）之间的模态逻辑》，Z.Math。Logik Grundlagen数学。，5, 250-264 (1959) ·Zbl 0178.30801号 [8] Francez，N。；Pnueli，A.，《循环程序分析》，《信息学报》。，9, 133-157 (1978) ·Zbl 0367.68009号 [9] D.Gries，Reim的信号量实现的正确性证明带-何时; D.Gries，Reim的信号量实现的正确性证明带-何时 [10] Harel，D。；Pratt，V.R.，《程序逻辑中的非确定性》，亚利桑那州图森市。第五届ACM程序设计语言原理研讨会（1978年） [11] Hoare，C.A.R.，《走向并行编程理论》，（Hoare；Perrot，操作系统技术（1972），学术出版社：纽约学术出版社），61-71·兹比尔0951.01025 [12] 休斯，G.E。；Creswell，M.J.，《模态逻辑导论》（1972），《Methuen:Methuen London》 [13] Kahn，G.，《并行编程的简单语言语义》（Rosenfeld，J.L.，《信息处理》，74（1974），北荷兰：北荷兰阿姆斯特丹），471-475·Zbl 0299.68007号 [14] Keller，R.M.，并行程序的形式验证，美国计算机学会，19，7，371-384（1976）·Zbl 0329.68016号 [15] L.Krablin，《公平的时间分析》，即将发表的宾夕法尼亚大学理科硕士论文。；L.Krablin，《公平的时间分析》，即将发表的宾夕法尼亚大学理科硕士论文。 [16] Kröger，F.，LAR：算法推理逻辑，信息学报。，8, 243-266 (1977) ·Zbl 0347.68016号 [17] Lamport，L.，《证明多进程程序的正确性》，IEEE Trans。软件工程，3，2，125-143（1977）·Zbl 0349.68006号 [18] Lamport，L.，有时“并非永远”，（技术报告CSL-86（1979），SRI国际：SRI国际门罗公园，加利福尼亚州） [19] Manna，Z.，程序的属性和一阶谓词演算，J.ACM，16，2，244-255（1969）·Zbl 0198.22001 [20] Owicki，S。；Gries，D.，并行程序公理证明技术，Acta Informat。，5, 319-339 (1975) ·Zbl 0312.68011号 [21] Owicki，S。；Gries，D.，《验证并行程序的属性：公理方法》，美国通信协会，19，5，279-284（1976）·兹伯利0322.68010 [22] Pnueli，A.，程序的时序逻辑，普罗维登斯RI。普罗维登斯·RI，Proc。第19届计算机科学基础年会（1977年） [23] Prior，A.，《过去、现在和未来》（1967年），牛津大学出版社：伦敦牛津大学出版社·Zbl 0169.29802号 [24] 加巴伊，D。；普努利，A。；谢拉，S。；Stavi，J.，《公平的时间分析》，拉斯维加斯。拉斯维加斯，第七届编程语言原理年度研讨会（1980年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。