Output details
11 - Computer Science and Informatics
Imperial College London
A fluid analysis framework for a Markovian process algebra
<13>This paper is the first to provide a rigorous theoretical relationship between ODE-based fluid analysis and the underlying stochastic state model it describes. Previously this relationship was only informally understood. It extends previous fluid analysis in stochastic process models by permitting higher moment analysis (as well as expectations) -- essential for understanding variance and error in a stochastic model. The foundation publication for the open-source Grouped PEPA Analyser (GPA) tool (http://code.google.com/p/gpanalyser/) and EPSRC AMPS project on fluid analysis of large stochastic models (EP/G011737/1). Bradley was invited to give keynote talk on this subject at QAPL 2012 in April 2012.