Compositional Methods for Probabilistic Systems.

Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala

Browse the full CONCUR paper archive.