Probabilistic Extensions of Process Algebras

@incollection{probabilisticprocessalgebra-handbookprocessalgebra2001,
   apice = {ProbprocalgHandbookprocessalgebra2001},
   author = {Bengt, Jonsson and Larsen, Kim G. and Yi, Wang},
   booktitle = {Handbook of Process Algebra},
   chapter = 11,
   editor = {Bergstra, Jan A. and Ponse, Alban and Smolka, Scott A.},
   isbn = {0-444-82830-3},
   pages = {685--710},
   publisher = {Elsevier Science B.V.},
   title = {Probabilistic Extensions of Process Algebras},
   year = 2001
}