TY  - JOUR
N2  - The exact performance analysis of large-scale software systems with discrete-state approaches is difficult because of the well-known problem of state-space explosion. This paper considers this problem with regard to the stochastic process algebra PEPA, presenting a deterministic approximation to the underlying Markov chain model based on ordinary differential equations. The accuracy of the approximation is assessed by means of a substantial case study of a distributed multithreaded application.
IS  - 1
VL  - 38
TI  - Scalable differential analysis of process algebra models
A1  - Tribastone, Mirco
A1  - Gilmore, Stephen
A1  - Hillston, Jane
SP  - 205
AV  - none
EP  - 219
Y1  - 2012/01//
SN  - 0098-5589
KW  - Markov processes; Modeling and prediction; ordinary differential equations

UR  - ttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5567115&isnumber=6141067
PB  - IEEE Computer Society
ID  - eprints2601
JF  - IEEE Transactions on Software Engineering
ER  -