乌里·法伦贝格；克里斯蒂安·约翰森；乔治·斯特鲁斯；塔帕，拉坦·巴哈杜尔 生成更多偏序集N个. （英语） 兹伯利07578336 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 82-99 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。12062，82-99（2020；Zbl 07578336） 全文： 内政部 arXiv公司
朱尔斯·德沙奈斯；伯恩哈德·莫勒 非关联Kleene代数和时序逻辑。 （英语） Zbl 1486.68099号 Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226，93-108（2017）。MSC公司：第68季度55 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{B.Möller}，莱克特。注释计算。科学。10226、93--108（2017；Zbl 1486.68099） 全文： 内政部 链接
你好，托尼；范·斯塔登（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） 全文： 内政部