Output details
11 - Computer Science and Informatics
University of Edinburgh
Fluid Rewards for a Stochastic Process Algebra
<10> Originality: The first paper to allow an enlarged class of measures to be formally derived via continuous (fluid) approximation of stochastic process algebra performance models (SPA).
Significance: Fluid approximation of SPA models dramatically enlarges the class of analyzable systems. However, the output of the analysis is limited to population counts over time. These are rarely the quantities of interest in performance analysis. The results in this paper greatly expand the class of measures to be derived from such models, making fluid approximation substantially more useful.
Rigour: Full proofs are included. IEEE Transactions on Software Engineering is a top journal.