克莱门·奥伯特；罗斯·霍恩；克里斯蒂安·约翰森 互不干涉应用（pi）演算中关于持续时间和因果关系的互模拟。 （英语） Zbl 07800866号 Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，3-22（2022）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，3--22（2022；Zbl 07800866） 全文： arXiv公司 链接
乌里·法伦贝格；克里斯蒂安·约翰森；乔治·斯特鲁斯；Krzysztof，Zimiañski 高维自动机语言。 （英语） Zbl 1495.68119号 数学。结构。计算。科学。 31,5号，575-613（2021）.MSC公司：65年第68季度 18纳米50 54个F05 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《数学》。结构。计算。科学。31，第5号，575--613（2021；Zbl 1495.68119） 全文： 内政部 arXiv公司
乌里·法伦贝格；克里斯蒂安·约翰森；克里斯托弗·特罗特（Christopher A.Trotter）。；Krzysztof，Zimiañski 同时进行雕塑。 （英语） Zbl 07350771号 日志。方法计算。科学。 17，第2号，第5号论文，32页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，日志。方法计算。科学。17，第2号，第5号论文，32页（2021；Zbl 07350771） 全文： arXiv公司 链接
乌里·法伦贝格；克里斯蒂安·约翰森；乔治·斯特鲁斯；拉坦·巴哈杜尔·塔帕 生成更多偏序集N个. （英语） Zbl 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公司
克里斯蒂安·约翰森；Owe、Olaf 动态结构操作语义。 （英语） Zbl 1431.68061号 J.日志。阿尔盖布。方法计划。 107, 79-107 (2019).MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Johansen}和\textit{O.Owe}，J.Log。阿尔盖布。方法计划。107、79-107（2019年；Zbl 1431.68061） 全文： 内政部 arXiv公司
托马斯·特洛伊斯·希尔德布兰特；克里斯蒂安·约翰森；哈贡诺曼 pi-calculus的稳定的无干扰早期操作语义。 （英语） Zbl 1423.68308号 J.日志。阿尔盖布。方法计划。 104, 227-253 (2019).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Hildebrandt}等人，J.Log。阿尔盖布。方法计划。104、227--253（2019年；Zbl 1423.68308） 全文： 内政部
哈贡诺曼；克里斯蒂安·约翰森；托马斯·希尔德布兰特 psi-calculi中基于声明事件的并发和优化模型。 （英语） 兹比尔1352.68188 J.日志。阿尔盖布。方法计划。 85，第3期，368-398（2016）.MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.Normann}等人，J.Log。阿尔盖布。方法计划。85，第3号，368--398（2016；Zbl 1352.68188） 全文： 内政部