Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Browse the full LICS paper archive.