贝弗利·A·桑德斯。 从UNITY逻辑中消除替换公理。 （英语） Zbl 0715.68059号 形式方面计算。 3，第2期，189-205（1991）. 引用于三评论引用于15文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 关键词：替代公理；程序组成；联合；完整性 软件：联合 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Sanders}，正式Asp。计算。3，第2号，189--205（1991；Zbl 0715.68059） 全文： 内政部 参考文献： [1] Chandy，K.M.和Misra，J.：《并行程序设计：基础》，Addison-Wesley出版社，1988年·兹伯利0717.68034 [2] Cook，S.A.：程序验证公理系统的健全性和完整性。SIAMJ公司。公司。，7, (1978) 70–90. ·Zbl 0374.68009号 ·数字对象标识代码：10.1137/0207005 [3] Dijkstra，E.W.和Scholten，C.S.：谓词演算和程序语义，Springer-Verlag，1990年·Zbl 0698.68011号 [4] Francez，N.：《公平》，施普林格-弗拉格出版社，1986年。 [5] Gerth，R.和Pnueli，A.：根植团结。程序。第五届软件规范与设计国际研讨会，宾夕法尼亚州匹兹堡，1989年5月19日至20日。 [6] Goldschlag，D.M.：机械化团结。In：程序。1990年4月，以色列IFIP编程概念和方法工作会议，M.Broy和C.B.Jones（编辑），Elsevier Science Publishers B.V.，1990年。 [7] Jutla，C.S.、Knapp，E.和Rao，J.R.：并行程序语义的谓词变换方法。程序。第八届ACM年会。《分布式计算原理》，1989年。 [8] Keller，R.M.：并行程序的形式验证。CACM，19371–384（1976）·Zbl 0329.68016号 ·doi:10.1145/360248.360251 [9] Knapp，E.：进步的谓词变换器。信息处理信件（待显示）·Zbl 0694.68016号 [10] Lamport，L:win and sin:并发谓词变形金刚。DEC SRC技术报告，1987年5月17日。 [11] Liu，Z.：UNITY的语义模型。华威大学计算机科学技术报告RR1441989年8月。 [12] Misra，J.：《确保的重要性》。关于团结的说明：1990年1月11日，第11–90页。 [13] Misra，J.：替代公理的合理性。关于UNITY的说明：1990年3月2日14–90日。 [14] Sanders，Beverly：并发程序混合规范的逐步细化。InProc.公司。IFIP编程概念和方法工作会议，以色列，1990年4月（M.Broy和C.B.Jones（eds），Elsevier Science Publishers B.V.，1990年1月至25日。 [15] Shankar，A.U.和Lam，S.S.：时间相关分布式系统：证明安全性、活力和实时性。分布式计算，2（1987）61-79·doi:10.1007/BF01667079 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。