伯恩哈德·莫勒；彼得·奥赫恩；你好，托尼 关于程序正确性和错误性的代数。 （英语） 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） 全文： 内政部
伯恩哈德·莫勒；你好，托尼；马丁·米勒。；乔治·斯特鲁斯 并发程序执行的离散几何模型。 （英语） 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年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 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） 全文： 内政部
你好，托尼；伯恩哈德·莫勒；乔治·斯特鲁斯；伊恩·卫尔曼 并发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） 全文： 内政部 链接