Equivalences, congruences, and complete axiomatizations for probabilistic processes

   page       BibTeX_logo.png   
@incollection{
year={1990},
isbn={978-3-540-53048-0},
booktitle={CONCUR '90 Theories of Concurrency: Unification and Extension},
volume={458},
series={Lecture Notes in Computer Science},
editor={Baeten, J.C.M. and Klop, J.W.},
doi={10.1007/BFb0039071},
title={Equivalences, congruences, and complete axiomatizations for probabilistic processes},
url={http://dx.doi.org/10.1007/BFb0039071},
publisher={Springer Berlin Heidelberg},
author={Jou, Chi-Chang and Smolka, ScottA.},
pages={367-383}
}