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

— stato

pubblicato

— tipo

capitolo di libro

chi

— autori

Jonsson Bengt • Kim G. Larsen • Wang Yi

— curatori

Jan A. Bergstra • Alban Ponse • Scott A. Smolka

dove e quando

— data di pubblicazione

2001

— volume

Handbook of Process Algebra

— capitolo

— pagine

685–710

— numero di pagine

— editore

Elsevier Science B.V.

ISBN & ISSN

— ISBN

file locali