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.
@article{BaetenBS95,
title = {Axiomatizing Probabilistic Processes: ACP with Generative Probabilities},
author = {Jos C. M. Baeten and Jan A. Bergstra and Scott A. Smolka},
year = {1995},
month = {September},
tags = {C++},
researchr = {https://researchr.org/publication/BaetenBS95},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {234-255},
}