伯恩哈德·莫勒；彼得·奥赫恩；你好，托尼 关于程序正确性和错误性的代数。 （英语） Zbl 07670527号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13027页，第325-343页（2021年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}等人，Lect。注释计算。科学。13027325--343（2021；Zbl 07670527） 全文： DOI程序
你好，托尼；范·斯塔登（Stephan van Staden）；伯恩哈德·莫勒；乔治·斯特鲁斯；朱慧彪 并发Kleene代数的发展。 （英语） Zbl 1344.68149号 J.日志。阿尔盖布。方法计划。 85，第4期，617-636（2016）.MSC公司：70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，J.Log。阿尔盖布。方法计划。85，第4号，617--636（2016；Zbl 1344.68149） 全文： DOI程序
你好，托尼；斯蒂芬·范·斯塔登 赞美代数。 （英语） Zbl 1259.68030号 正式Asp。计算。 24，编号4-6，423-431（2012）.MSC公司：68甲19 03B70号 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden}，正式Asp。计算。24，编号4--6423--431（2012；Zbl 1259.68030） 全文： DOI程序
何继峰；C.A.R.霍尔。 概率规划中的关联理论。 （英语） Zbl 0943.68033号 信息科学。 119，第3-4号，205-218（1999）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare}，Inf.Sci。119，编号3--4，205-218（1999；Zbl 0943.68033） 全文： DOI程序
C.A.R.霍尔。；何继峰；A.桑帕约。 编译器设计的范式方法。 （英语） Zbl 0790.68023号 学报信息。 30，第8号，701-739（1993）. 审核人：C.A.R.Hoare（牛津） MSC公司：第68页第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.A.R.Hoare｝et al.，Acta Inf.30，No.8，701-739（1993；Zbl 0790.68023） 全文： DOI程序
何继峰；C.A.R.霍尔。 从代数到操作语义。 （英语） Zbl 0795.68124号 信息处理。莱特。 45，No.2，75-80（1993）.MSC公司：68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare}，Inf.过程。莱特。45，第2号，75-80（1993年；Zbl 0795.68124） 全文： DOI程序
C.A.R.霍尔。；何继峰；J.W.桑德斯。 数据细化中的预先指定。 （英语） Zbl 0624.68027号 信息处理。莱特。 25, 71-76 (1987).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人，《Inf.过程》。莱特。25、71——76（1987年；Zbl 0624.68027） 全文： DOI程序
何继峰；C.A.R.霍尔。 分布式恢复算法的代数规范和证明。 （英语） Zbl 0621.68008号 分布计算。 2, 1-12 (1987).MSC公司：68第05页 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare}，分布计算。2，1-12（1987年；兹bl 06216.68008） 全文： DOI程序
E.-R.奥尔德罗。；你好，托尼 通信过程的面向规范的语义。 （英语） Zbl 0569.68019号 学报信息。 1986年9月23日至66日.MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare}，《学报年鉴》23，9--66（1986；Zbl 0569.68019） 全文： DOI程序
尼西姆·弗朗西兹；C.A.R.霍尔。；丹尼尔·莱曼。；威廉·德·罗弗（Willem P.de Roever）。 不确定性、并发性和通信的语义。 （英语） Zbl 0434.68066号 J.计算。系统。科学。 19290-308（1979年）.MSC公司：68问题55 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，J.Compute。系统。科学。19、290--308（1979年；Zbl 0434.68066） 全文： DOI程序 链接
阿什克罗夫特，E.A。；M.克林特。；C.A.R.霍尔。 M.Clint和C.A.R.Hoare关于“程序证明：跳跃和函数”的评论。 （英语） Zbl 0326.68011号 学报信息。 6, 317-318 (1976).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Ashcroft}等人，《信息学报》6，317--318（1976；Zbl 0326.68011） 全文： DOI程序
C.A.R.霍尔。 递归数据结构。 （英语） Zbl 0301.68037号 国际期刊计算。通知。科学。 4, 105-132 (1975).MSC公司：68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}，国际计算机杂志。通知。科学。4105-132（1975年；Zbl 0301.68037） 全文： DOI程序
C.A.R.霍尔。；北卡罗来纳州沃思。 编程语言Pascal的公理化定义。 （英语） Zbl 0261.68040号 学报信息。 2, 335-355 (1973).MSC公司：68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{N.Wirth}，Acta Inf.2，335--355（1974；Zbl 0261.68040） 全文： DOI程序
C.A.R.霍尔。 for语句上的注释。 （英语） 兹比尔0246.68003 北蒂茨克BIT。信息-行为。 12, 334-341 (1972).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}，BIT，Nord.Tidskr。信息-行为。12、334--341（1972年；Zbl 0246.68003） 全文： DOI程序