Process algebra for performance evaluation (2002)

by H Hermanns, U Herzog, J-P Katoen
Venue:Theoretical Computer Science