relation: http://eprints.imtlucca.it/2601/
title: Scalable differential analysis of process algebra models
creator: Tribastone, Mirco
creator: Gilmore, Stephen
creator: Hillston, Jane
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: IEEE Computer Society
date: 2012-01
type: Article
type: PeerReviewed
identifier:   Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane  Scalable differential analysis of process algebra models.  IEEE Transactions on Software Engineering, 38 (1).  pp. 205-219.  ISSN 0098-5589      (2012)  
relation: ttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5567115&isnumber=6141067
relation: 10.1109/TSE.2010.82