伯恩哈德·莫勒；你好，托尼；马丁·米勒。；乔治·斯特鲁斯 并发程序执行的离散几何模型。 （英语） 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）；你好，托尼 代数统一了运算计算。 （英语） Zbl 1452.68056号 Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。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 1264.68042号 Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。《计算机科学讲义》7860、139-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） 编程法则统一了过程计算。 （英语） 兹比尔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） 全文： 内政部
你好，托尼 并发对象行为的网络模型。 （英语） Zbl 1357.68137号 Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347,1-2（2012）。MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔}，莱克特。注释计算。科学。7347，1--2（2012；Zbl 1357.68137） 全文： 内政部
你好，托尼；伯恩哈德·莫勒；乔治·斯特鲁斯；伊恩·卫尔曼 并发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 1186.68320号 Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。计算机科学讲稿4010，38-62（2006）。MSC公司：68问题85 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{T.Hoare}，莱克特。注释计算。科学。4010、38--62（2006年；Zbl 1186.68320） 全文： 内政部
C.A.R.霍尔。；何继峰 指针和对象的跟踪模型。 （英语） Zbl 0954.68045号 Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马尔托贝尔多夫，第19届国际暑期学校会刊。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。3-23 (1999). 审核人：Hans Juergen Schneider（爱尔兰根） MSC公司：68甲19 68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{J.He}，北约ASI Ser。，序列号。F、 计算。系统。科学。3--23、3--23（1999；Zbl 0954.68045）
你好，托尼；何继峰 统一并行编程理论。 （英语） Zbl 0996.68754号 Lengauer，Christian（编辑）等人，《1997年欧洲-巴黎并行处理》。1997年8月26日至29日在德国帕绍举行的第三届国际欧巴会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1300, 15-30 (1997).MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{J.He}，莱克特。注释计算。科学。1300，15--30（1997；Zbl 0996.68754）