约坦·德维尔；奥哈德·卡玛；奥里·拉哈夫 共享状态并发的代数理论。 （英语） Zbl 1524.68055号 谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13658，3-24（2022）。MSC公司：68甲15 68N20型 68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dvir}等人，Lect。票据计算。科学。13658，3--24（2022；Zbl 1524.68055） 全文： 内政部 链接
范·斯塔登（Stephan van Staden） 构建视图框架。 （英语） Zbl 1457.68070号 戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8963, 62-83 (2015).MSC公司：68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.van Staden}，莱克特。票据计算。科学。8963，62-83（2015；Zbl 1457.68070） 全文： 内政部
伯恩哈德·莫勒；你好，托尼 探索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） 全文： 内政部 链接
O'Hearn，Peter W。；拉斯穆斯·彼得森。；朱尔斯·维拉德；阿克巴侯赛因 并发分离逻辑与并发Kleene代数的关系。 （英语） Zbl 1330.03072号 J.日志。阿尔盖布。方法计划。 84，第3期，285-302（2015）.MSC公司：03B70号 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}等人，J.Log。阿尔盖布。方法计划。84，第3号，285--302（2015；Zbl 1330.03072） 全文： 内政部
你好，托尼 编程法则的通用模型。 （英语） 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） 全文： 内政部