Process algebra for performance evaluation (2002)

by H Hermanns, U Herzog, J-P Katoen
Venue:T.C.S