Equivalences, congruences, and complete axiomatizations for probabilistic processes

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