Equivalences, congruences, and complete axiomatizations for probabilistic processes (1990)

by C-C Jou, S A Smolka
Venue:Concurrency Theory, LNCS