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. Inf. Comput., 144(2):83-154, 1998.

Abstract

Abstract is missing.