并发克里尼代数：自由模型与完备性
摘要：关于有界并行性的并发Kleene代数的完备性：结果和在原始论文中提出的语义一致，因此这个语义是这个片段的自由模型。同时，所开发的技术是可重用的；特别是，它们使我们能够将pomset自动机作为CKA的操作模型。
作者：Tobias Kapp''e and Paul Brunet and Alexandra Silva and Fabio Zanasi
论文ID：1710.02787
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-03