序过程的一个（Co）代数框架
A (Co)Algebraic Framework for Ordered Processes
摘要：
最近发表的一篇论文（Schmid，Rozowski，Silva和Rot，2022）为研究具有代数分支结构和递归算子的过程提供了一个（共）代数框架。该框架捕捉米尔纳的代数的规则行为（米尔纳，1984年），但未能给出一个诚实的帐户密切相关的演算的概率过程（斯塔克和斯莫尔卡，1999年）。我们捕捉斯塔克和Smolka的演算给出了一个替代框架，旨在研究一个家庭的有序过程演算不平等指定的分支结构和递归算子。我们观察到，最近的概率扩展守卫Kleene代数与测试（Rozowski，Kozen，Kappe，Schmid，Silva，2022）是我们的一个演算的片段，以及其他例子。我们还比较了我们的过程演算的内在顺序与余代数的相似性的概念。
英文摘要：
A recently published paper (Schmid, Rozowski, Silva, and Rot, 2022) offers a (co)algebraic framework for studying processes with algebraic branching structures and recursion operators. The framework captures Milner's algebra of regular behaviours (Milner, 1984) but fails to give an honest account of a closely related calculus of probabilistic processes (Stark and Smolka, 1999). We capture Stark and Smolka's calculus by giving an alternative framework, aimed at studying a family of ordered process calculi with inequationally specified branching structures and recursion operators. We observe that a recent probabilistic extension of guarded Kleene algebra with tests (Rozowski, Kozen, Kappe, Schmid, Silva, 2022) is a fragment of one of our calculi, along with other examples. We also compare the intrinsic order in our process calculi with the notion of similarity in coalgebra.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
