Compositional Verification of Probabilistic Processes.

Kim Guldstrand Larsen, Arne Skou

Browse the full CONCUR paper archive.