Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.

Augusto Parma, Roberto Segala

Browse the full FOSSACS paper archive.