Hillston (2005): Process Algebras for Quantitative Analysis (0)

by Jane
Venue:In: LICS, IEEE Computer Society