伯恩哈德·莫勒;彼得·奥赫恩;你好,托尼 关于程序正确性和错误性的代数。 (英语) 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) 全文: 内政部
你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩 并发Kleene代数的发展。 (英语) Zbl 1344.68148号 Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2014年4月28日至5月1日,第14届国际会议,RAMiCS 2014,德国Marienstat。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-06250-1/pbk)。计算机科学课堂讲稿8428,1-18(2014)。MSC公司:70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,Lect。注释计算。科学。8428,1-18(2014;Zbl 1344.68148) 全文: 内政部 链接
霍尔,C.A.R。;阿克巴侯赛因;伯恩哈德·莫勒;O'Hearn,Peter W。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯 关于并发进程的局部性和交换律。 (英语) Zbl 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) 全文: 内政部 链接
伊恩·韦尔曼;霍尔,C.A.R。;O'Hearn,Peter W。 分离逻辑的图形模型。 (英语) Zbl 1200.68153号 Inf.流程。莱特。 109,第17号,1001-1004(2009).MSC公司:68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wehrman}等人,《信息处理》。莱特。109,第17号,1001--1004(2009;Zbl 1200.68153) 全文: 内政部
你好,托尼;彼得·奥赫恩 用于通信进程的分离逻辑语义。 (英语) 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},电子。理论注释。计算。科学。212、3--25(2008年;Zbl 1286.68352) 全文: 内政部