Recent developments in the analysis of stochastic process algebra models allow for transient measures of very large models to be extracted. By performing so-called fluid analysis of stochastic process algebra models, it is now feasible to analyse systems of size 10^1000 states and beyond. This paper seeks to extend the type of measure that can be extracted from this style of fluid analysis. We present a systematic transformation of a PEPA model that will allow us to extract measures analogous to response times.
This is a short version summary of the full paper that appeared at SIPEW 2008 (http://pubs.doc.ic.ac.uk/responsetimes-fluidanalysis).
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.