A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.

Marco Bernardo Lorenzo Donatiello Roberto Gorrieri A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. 83-154 1998 144 Inf. Comput. 2 db/journals/iandc/iandc144.html#BernardoDG98