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

by C-C Jou, S A
Venue:Proc. CONCUR ’90, LNCS 458