Probabilistic Extensions of Process Algebras
 |
 |
Jonsson Bengt, Kim G. Larsen, Wang Yi
Jan A. Bergstra, Alban Ponse, Scott A. Smolka (eds.)
Handbook of Process Algebra, chapter 11, pages 685-710
Elsevier Science B.V.
2001