Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Inf. Comput., 121(2):234-255, September 1995.
No references recorded for this publication.
No citations of this publication recorded.