Scalable differential analysis of process algebra models

Tribastone, Mirco, Gilmore, Stephen and Hillston, Jane (2012) Scalable differential analysis of process algebra models IEEE Transactions on Software Engineering, 38, (1), pp. 205-219. (doi:10.1109/TSE.2010.82).


Full text not available from this repository.


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.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1109/TSE.2010.82
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 356798
Date :
Date Event
Date Deposited: 13 Sep 2013 16:16
Last Modified: 17 Apr 2017 14:57
Further Information:Google Scholar

Actions (login required)

View Item View Item