代数理论参数化的过程
Processes Parametrised by an Algebraic Theory
摘要：
我们开发了一个（共）代数框架来研究一元分支结构和递归算子的过程演算族。我们的框架具有统一的语义过程术语和语义等价的一个完整的axiomatisation。我们发现，有统一定义的片段，我们的演算，捕获著名的例子，如正则表达式模双相似性和守护Kleene代数与测试的文献。我们还得到了新的演算概率和凸过程的类似Kleene星。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
