A Decomposition Theorem for Probabilistic Transition Systems.

Oded Maler

Browse the full STACS paper archive.