Output details
11 - Computer Science and Informatics
University of Edinburgh
Article title
Fluid Rewards for a Stochastic Process Algebra
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
38
Issue number
4
First page of article
861
ISSN of journal
0098-5589
Year of publication
2012
Number of additional authors
3
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
