伯恩哈德·莫勒;彼得·奥赫恩;你好，托尼 关于程序正确性和错误性的代数。 （英语） 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） 全文： 内政部
伯恩哈德·莫勒;你好，托尼;Müller、Martin E。;乔治·斯特鲁斯 并发程序执行的离散几何模型。 （英语） Zbl 1483.68086号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 1-25 (2017).MSC公司：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}等人，Lect。注释计算。科学。10134，1-25（2017；Zbl 1483.68086） 全文： 内政部 链接
你好，托尼;范·斯塔登（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） 全文： 内政部
伯恩哈德·莫勒;你好，托尼 探索CKA的接口模型。 （英语） Zbl 1432.68314号 Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 1-29 (2015).MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}和\textit{T.Hoare}，莱克特。注释计算。科学。9129，1--29（2015；Zbl 1432.68314） 全文： 内政部 链接
范·斯塔登（Stephan van Staden）;你好，托尼 代数统一了运算计算。 （英语） Zbl 1452.68056号 Wolff，Burkhart（编辑）等人，《统一编程理论》。2012年8月27日至28日，第四届国际研讨会，UTP 2012，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7681, 88-104 (2013).MSC公司：68号30 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.van Staden}和\textit{T.Hoare}，莱克特。注释计算。科学。7681、88--104（2013；Zbl 1452.68056） 全文： 内政部
你好，托尼 编程法则的通用模型。 （英语） Zbl 1390.68182号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，213-226（2013）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔}，莱克特。注释计算。科学。8051、213--226（2013；Zbl 1390.68182） 全文： 内政部
你好，托尼 统一并发编程的语义。 （英语） Zbl 1264.68042号 Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860139-149（2013）。MSC公司：68甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔}，莱克特。注释计算。科学。7860、139--149（2013年；Zbl 1264.68042） 全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden） 赞美代数。 （英语） 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） 全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden） 编程法则统一了过程计算。 （英语） Zbl 1358.68064号 Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342，7-22（2012）。MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden}，莱克特。注释计算。科学。7342，7--22（2012；Zbl 1358.68064） 全文： 内政部
C.A.R.霍尔。;阿克巴侯赛因;伯恩哈德·莫勒;O'Hearn，Peter W。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯 关于并发进程的局部性和交换律。 （英语） 兹比尔1343.68170 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901250-264（2011）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人，Lect。注释计算。科学。6901250--264（2011；Zbl 1343.68170） 全文： 内政部 链接
你好，托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数及其基础。 （英语） Zbl 1278.68176号 J.日志。阿尔盖布。程序。 80，第6期，266-296（2011）.MSC公司：60年第68季度 68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，J.Log。阿尔盖布。程序。80，No.6，266--296（2011；Zbl 1278.68176） 全文： 内政部 链接
何继峰;你好，托尼 CSP是CCS的收回。 （英语） Zbl 1191.68439号 西奥。计算。科学。 411，第11-13号，1311-1337（2010）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{T.Hoare}，Theor。计算。科学。411，编号11--131311--1337（2010；Zbl 1191.68439） 全文： 内政部
伊恩·卫尔曼;C.A.R.霍尔。;O'Hearn，Peter W。 分离逻辑的图形模型。 （英语） Zbl 1200.68153号 信息处理。莱特。 109，第17号，1001-1004（2009）.MSC公司：68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wehrman}等人，《信息处理》。莱特。109，第17号，1001--1004（2009；Zbl 1200.68153） 全文： 内政部
C.A.R.Tony Hoare;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数。 （英语） Zbl 1254.68172号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，399-414（2009）。MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.T.Hoare}等人，Lect。注释计算。科学。5710399-414（2009年；Zbl 1254.68172） 全文： 内政部 链接
你好，托尼;彼得·奥赫恩 用于通信进程的分离逻辑语义。 （英语） Zbl 1286.68352号 Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，3-25（2008）。MSC公司：68问题85 68甲15 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{P.O'Hearn}，电子。注释Theor。计算。科学。212、3--25（2008年；Zbl 1286.68352） 全文： 内政部
何继峰;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） 全文： 内政部
冯·卡格尔（von Karger），伯加德（Burghard）;C.A.R.霍尔。 序贯微积分。 （英语） Zbl 0875.68202号 信息处理。莱特。 53，第3期，123-130（1995）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit｛B.von Karger｝和\textit｛C.A.R.Hoare｝，Inf.过程。莱特。53，第3号，123--130（1995；Zbl 0875.68202） 全文： 内政部
C.A.R.霍尔。;何继峰;A.桑帕约。 编译器设计的正规形式方法。 （英语） Zbl 0790.68023号 学报信息。 30，第8号，701-739（1993）. 审核人：C.A.R.Hoare（牛津） MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人，《信息学报》第30期，第8期，第701--739页（1993年；Zbl 0790.68023） 全文： 内政部
何继峰;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） 全文： 内政部
周朝晨;C.A.R.霍尔。 同步开关电路模型及其正确性理论。 （英语） Zbl 0777.94026号 形式方法系统。设计。 1，第1期，7-28（1992）.MSC公司：94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和\textit{C.A.R.Hoare}，《形式与方法系统》。设计。1，第1号，第7--28号（1992；Zbl 0777.94026） 全文： 内政部
何继峰;C.A.R.霍尔。 编程语言的分类语义。 （英语） Zbl 1509.68035号 Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。442402-417（1990）中描述的。MSC公司：68甲15 18 C50 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛H.Jifeng｝和\textit｛C.A.R.Hoare｝，Lect。注释计算。科学。442402--417（1990年；Zbl 1509.68035） 全文： 内政部
A.W.罗斯科。;C.A.R.霍尔。 Occam编程的规律。 （英语） Zbl 0719.68039号 西奥。计算。科学。 60，No.2，177-229（1988）. 审核人：I.游击队（巴黎） MSC公司：68问题55 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}和\textit{C.A.R.Hoare}，Theor。计算。科学。60，第2号，177--229（1988；Zbl 0719.68039） 全文： 内政部
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） 全文： 内政部
何继峰;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年；Zbl 0621.68008） 全文： 内政部
E.-R.奥尔德罗。;你好，托尼 通信过程的面向指定的语义。 （英语） Zbl 0569.68019号 学报信息。 23, 9-66 (1986).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare}，《学报年鉴》23，9--66（1986；Zbl 0569.68019） 全文： 内政部
亨纳，E.C.R。;C.A.R.霍尔。 一个更完整的通信过程模型。 （英语） 兹比尔0513.68020 西奥。计算。科学。 26, 105-120 (1983).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner}和\textit{C.A.R.Hoare}，Theor。计算。科学。26105-120（1983年；Zbl 0513.68020） 全文： 内政部
尼西姆·弗朗西兹;C.A.R.霍尔。;丹尼尔·莱曼。;威廉·德·罗弗（Willem P.de Roever）。 不确定性、并发性和通信的语义。 （英语） Zbl 0434.68066号 J.计算。系统。科学。 19, 290-308 (1979).MSC公司：68问题55 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，J.Compute。系统。科学。19、290--308（1979年；Zbl 0434.68066） 全文： 内政部 链接
考比施，W.H。;佩罗特，R.H。;C.A.R.霍尔。 准并行编程。 （英语） Zbl 0332.68010号 软质。，实际。专家。 6, 341-356 (1976).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Kaubisch}等人，软件。，实际。专家。6、341--356（1976年；Zbl 0332.68010） 全文： 内政部
阿什克罗夫特，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） 全文： 内政部
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） 全文： 内政部
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） 全文： 内政部
C.A.R.霍尔。 for语句上的注释。 （英语） Zbl 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） 全文： 内政部
C.A.R.霍尔。 数据表示正确性的证明。 （英语） Zbl 0244.68009号 学报信息。 1, 271-281 (1972).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}，Acta Inf.1，271--281（1972；Zbl 0244.68009） 全文： 内政部
M.克林特。;C.A.R.霍尔。 程序证明：KJump和函数。 （英语） Zbl 0229.68003号 学报信息。 1, 214-224 (1971).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Clint}和\textit{C.A.R.Hoare}，《信息学报》1，214--224（1971；Zbl 0229.68003） 全文： 内政部