具有非确定性、概率与终止的系统的迹理论
计算机科学中的逻辑
2023-06-22 v7
摘要
本文研究结合非确定性与概率性选择的系统的基于迹的等价性。我们展示了如何通过实例化一种称为广义幂集构造的余代数构造来恢复此类过程的迹语义。我们将所得语义刻画并与文献中已知的迹等价性定义进行比较。我们的大部分结果基于单子与其通过代数理论的呈现之间引人入胜的相互作用。
引用
@article{arxiv.1808.00923,
title = {The Theory of Traces for Systems with Nondeterminism, Probability, and Termination},
author = {Filippo Bonchi and Ana Sokolova and Valeria Vignudelli},
journal= {arXiv preprint arXiv:1808.00923},
year = {2023}
}