霍尔,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发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) 全文: 内政部 链接
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) 全文: 内政部 链接