非确定性、概率和终止系统的迹理论
摘要：结合非确定性和概率选择的系统的基于轨迹的等价性的研究：通过实例化一种称为广义幂集构造的共代数结构，我们展示了如何恢复此类过程的轨迹语义。我们对产生的语义进行了表征和比较，并与文献中已知的轨迹等价性定义进行了对比。我们的大部分结果是基于单子和它们通过代数理论的呈现之间的激动人心的相互作用。
作者：Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
论文ID：1808.00923
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22