On Probabilistic Program Equivalence and Refinement.

Andrzej S. Murawski, Jol Ouaknine

Browse the full CONCUR paper archive.