阿什克罗夫特，E.A。 证明关于并行程序的断言。 （英语） Zbl 0299.68013号 J.计算。系统。科学。 110-135年10月（1975年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于2评论引用于19文件 MSC公司： 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Ashcroft}，J.计算。系统。科学。10、110--135（1975；Zbl 0299.68013） 全文： 内政部 参考文献： [1] 阿什克罗夫特，E.A。；Manna，Z.，（并行程序属性的形式化，机器智能，第6卷（1971），爱丁堡大学出版社：爱丁堡学院出版社，苏格兰爱丁堡），17-41·Zbl 0263.68016号 [2] Floyd，R.W.，《赋予程序意义》（《应用数学专题讨论会论文集》，第19卷（1967年），Amer。数学。Soc.：美国。数学。罗德岛州普罗维登斯Soc.Providence）·Zbl 0189.50204号 [3] Hansen，P.B.，《两个同步概念的比较》，《信息学报》，1190-1991972年·Zbl 0226.68027号 [4] 卡普，R。；Miller，R.，并行程序模式，J.Compute。系统科学。，3, 147-195 (1969) ·Zbl 0198.32603号 [5] Levitt，K.N.，《程序保护技术在同步过程验证中的应用》，（《秋季联合竞争会议论文集》（1972），AFIPS出版社），第33-47页 [6] Manna，Z.，《程序的正确性》，J.Compute。系统科学。，3, 119-127 (1969) ·Zbl 0285.68011号 [7] Manna，Z。；Pnueli，A.，函数程序属性的形式化，J.Assoc.Compute。马赫，17，555-569（1970）·Zbl 0206.17503号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。