亨纳，E.C.R。；C.A.R.霍尔。 一个更完整的通信过程模型。 （英语） Zbl 0513.68020号 西奥。计算。科学。 26, 105-120 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于4文件 MSC公司： 68N25号 操作系统理论 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：全正确性演算；谓词；部分递归函数 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner}和\textit{C.A.R.Hoare}，Theor。计算。科学。26105-120（1983年；Zbl 0513.68020） 全文： 内政部 参考文献： [1] Hoare，C.A.R.，通信过程的总正确性演算，科学。计算。编程，1,149-72（1981）·Zbl 0485.68025号 [2] 霍尔，C.A.R。；布鲁克斯，S.D。；Roscoe，A.W.，《通信顺序过程理论》（1981），牛津大学编程研究小组技术专著PRG-16·Zbl 0628.68025号 [3] 肖恩菲尔德，J.R.，《数理逻辑》（1967），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州），36·Zbl 0155.01102号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。