A Compositional Trace-Based Semantics for Probabilistic Automata (1995)

by R Segala
Venue:In: CONCUR