Publications Home » Extracting Fluid Response times f...
Extracting Fluid Response times from PEPA models
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
- National Workshop Paper
- PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
- July, 2008
- Abstract
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.
- Keywords
- Process Algebra
- Stochastic Modelling
- AESOP
- Notes
This is a short version summary of the full paper that appeared at SIPEW 2008 (http://pubs.doc.ic.ac.uk/responsetimes-fluidanalysis).
PDF of presentation slides (644 kilobytes)- (need help viewing PDF files?)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.