Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. - Chi-Chang Jou; Scott A. Smolka (CONCUR, 1990)

Algebraic Reasoning for Probabilistic Concurrent Systems. - Alessandro Giacalone; Chi-Chang Jou; Scott A. Smolka (Programming Concepts and Methods, 1990)