APICe » Publications » Probabilistic Extensions of Process Algebras

Probabilistic Extensions of Process Algebras

Jonsson Bengt, Kim G. Larsen, Wang Yi
Handbook of Process Algebra, Ch. 11, pages 685-710, 2001.
Jan A. Bergstra, Alban Ponse, Scott A. Smolka (eds.), Elsevier Science B.V.
@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}