论文标题
通过代数理论参数参数的过程
Processes Parametrised by an Algebraic Theory
论文作者
论文摘要
我们开发了一个（CO）代数框架，以研究一个具有单一的分支结构和递归操作员的过程结石家族。我们的框架具有过程项的统一语义和语义对等上的完整公理化。我们表明，我们的计算中有统一定义的片段，这些片段从文献中捕获了众所周知的示例，例如正则表达式模仿双曲子，并通过测试对kleene algebra进行了保护。我们还以kleene star的类似物来得出新的概率和凸过程的概率过程。
We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of process terms and a complete axiomatisation of semantic equivalence. We show that there are uniformly defined fragments of our calculi that capture well-known examples from the literature like regular expressions modulo bisimilarity and guarded Kleene algebra with tests. We also derive new calculi for probabilistic and convex processes with an analogue of Kleene star.
