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