Axiomatizing probabilistic processes: ACP with generative probabilities (1995)

by J C M Baeten, J A Bergstra, S A Smolka
Venue:Information and Computation