Compositional verification of probabilistic processes (1992)

by K G Larsen, A Skou
Venue:CONCUR 92: Concurrency Theory. 3rd Int. Conf., volume 630 of Lect. Notes in Comp. Sci