弱并发Kleene代数及其在代数验证中的应用
Weak Concurrent Kleene Algebra with Application to Algebraic Verification
摘要：
我们提出了并发Kleene代数\cite{Hoa09}的推广，可以考虑概率的影响，在并发的存在。代数被证明是健全的自动机模模型的一个变体的根$η$ -模拟等价。适用性证明了两个例子的代数处理：代数可能测试和拉宾的解决方案的选择协调问题。
英文摘要：
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound with respect to a model of automata modulo a variant of rooted $η$-simulation equivalence. Applicability is demonstrated by algebraic treatments of two examples: algebraic may testing and Rabin's solution to the choice coordination problem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
