Compositional verification of probabilistic processes (1992)

by K G Larsen, A Skou
Venue:In Proceedings of the 3rd International Conference on Concurrency Theory, LNCS 630