论文标题
结合非确定性，概率和终止：方程和度量推理
Combining nondeterminism, probability, and termination: equational and metric reasoning
论文作者
论文摘要
我们研究了由非确定性和概率行为与终止的可能性相结合而产生的单调，这在程序语义中至关重要。我们的主要贡献是为单调的介绍结果，为建立计划的等价和距离提供了方程推理工具。
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs.
