Probabilistic Extensions of Process Algebras (2001)

by Bengt Jonsson, Kim G. Larsen, Wang Yi
Venue:Handbook of Process Algebra