https://arxiv.org/abs/2012.00382v1
[2012.00382v1] Combining nondeterminism, probability, and termination: equational and metric...
Abstract page for arXiv paper 2012.00382v1: Combining nondeterminism, probability, and termination: equational and metric reasoning
combiningprobabilityterminationmetric