Specification and Refinement of Probabilistic Processes

Bengt Jonsson, Kim Guldstrand Larsen

Browse the full LICS paper archive.