彼得·吉普森;塔德乌兹·利塔克 对聚束暗示和分离逻辑的代数一瞥。 (英语) Zbl 07823891号 加拉托斯(Galatos)、尼古拉斯(Nikolaos)(ed.)等人,小野弘之(Hiroakira Ono),《子结构逻辑》(substructural logics)。查姆:斯普林格。Outst公司。控制日志。23, 185-242 (2022).MSC公司:03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}和\textit{T.Litak},Outst。控制日志。23185-242(2022;Zbl 07823891) 全文: 内政部 arXiv公司
工资制造者,贾纳;内特·福斯特;Kappé,托比亚斯;德克斯特·科赞;朱里安·罗特;亚历山德拉·席尔瓦 并发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 1512.68141号 数学。结构。计算。科学。 32,第9期,1234-1253(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人,数学。结构。计算。科学。32,编号9,1234--1253(2022;Zbl 1512.68141) 全文: 内政部
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 弱双Kleene代数的等价性检验。 (英语) Zbl 07407791号 日志。方法计算。科学。 17,第3号,第19号文件,第53页(2021).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,日志。方法计算。科学。17,第3号,第19号论文,53页(2021;Zbl 07407791) 全文: 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公司
托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山德拉·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 带观察的克莱恩代数。 (英语) 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语言:合理性、上下文无关性和自动机。 (英语) 兹伯利1417.68134 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司:68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,J.Log。阿尔盖布。方法计划。103130-153(2019年;兹bl 1417.68134) 全文: 内政部 arXiv公司
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 Brzozowski是并发的——pomset语言的Kleene定理。 (英语) Zbl 1442.68145号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨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公司