TY  - RPRT
TI  - Combining nondeterminism, probability, and termination: equational and metric reasoning
AU  - Matteo Mio
AU  - Ralph Sarkis
AU  - Valeria Vignudelli
PY  - 2021
UR  - https://arxiv.org/abs/2012.00382
ID  - 2012.00382
ER  -