Compositionality for Probabilistic Automata.

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Browse the full CONCUR paper archive.