Equivalences, Congruences and Complete Axiomatizations of Probabilistic Processes (1990)

by C-C Jou, S A Smolka
Venue:In J.C.M. Baeten and J.W. Klop, editors, CONCUR’90, volume 458 of LNCS