Cost Preserving Bisimulations for Probabilistic Automata.

Holger Hermanns, Andrea Turrini

Browse the full CONCUR paper archive.