Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.

Chi-Chang Jou, Scott A. Smolka

Browse the full CONCUR paper archive.