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.

翻译：我们研究的是非决定性和概率行为与终止的可能性相结合产生的寺院,这在方案语义学中至关重要。 我们的主要贡献是向寺院介绍结果,为建立等同和距离方案提供方程推理工具。