Probabilistic Extensions of Process Algebras
 |
 |
@incollection{probabilisticprocessalgebra-handbookprocessalgebra2001,
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}
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}