This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerset construction. We characterise and compare the resulting semantics to known definitions of trace equivalences appearing in the literature. Most of our results are based on the exciting interplay between monads and their presentations via algebraic theories.
翻译:本文研究非确定性和概率性选择相结合的系统的追踪等值。 我们展示了如何通过即时燃起被称为通用电源元件构造的煤层构造来恢复这种过程的痕量语义。 我们描述并比较了由此产生的语义和文献中出现的已知的痕量等值定义。 我们的结果大多基于山岳及其通过代数理论的演示之间的令人振奋的相互作用。