Process algebra for performance evaluation (0)

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