托比亚斯·卡佩 重新考虑了Kleene代数的完备性和有限模型性质。 (英语) Zbl 07728638号 Glück,Roland(编辑)等人,《计算机科学中的关系和代数方法》。第20届国际会议,RAMiCS 2023,德国奥格斯堡,2023年4月3-6日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13896, 158-175 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé},莱克特。注释计算。科学。13896,158--175(2023;Zbl 07728638) 全文: 内政部 arXiv公司
工资制造者,贾纳;内特·福斯特;托比亚斯·卡佩;德克斯特·科岑;朱里安·罗特;亚历山德拉·席尔瓦 并发NetKAT。建模和分析有状态的并发网络。 (英语) Zbl 1528.68259号 谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13240, 575-602 (2022).MSC公司:68问题85 68纳米30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Wagemaker}等人,Lect。注释计算。科学。13240575--602(2022;Zbl 1528.68259) 全文: 内政部 arXiv公司
托比亚斯·卡佩;保罗·布鲁内;朱里安·罗特;亚历山德拉·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 带观察的克莱恩代数。 (英语) Zbl 07649949号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第41条,第16页(2019)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,LIPIcs——莱布尼茨国际程序。通知。140,第41条,第16页(2019年;Zbl 07649949) 全文: 内政部 arXiv公司
托比亚斯·卡佩;保罗·布鲁内;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 (英语) Zbl 1417.68134号 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司:68问题85 68纳米30 第68季度第42季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,J.Log。阿尔盖布。方法计划。103、130-153(2019年;Zbl 1417.68134) 全文: 内政部 arXiv公司
托比亚斯·卡佩;保罗·布鲁内;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 Brzozowski是并发的——pomset语言的Kleene定理。 (英语) Zbl 1442.68145号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。第85条,第25条,第16页(2017年)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,LIPIcs——莱布尼茨国际程序。通知。85,第25条,第16页(2017年;Zbl 1442.68145) 全文: 内政部 arXiv公司