Nicholas J. Dingle

National Workshop Paper

3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04)

May, 2004

pp.1–9

Abstract

This paper presents an iterative technique for the transient analysis of large structurally unrestricted semi-Markov processes (SMPs), which builds on our previous work on iterative passage time calculation. The method is based on the calculation and subsequent numerical inversion of Laplace transforms. We demonstrate our technique on a Markovian process algebra model of a web-server with 69,440 states.

PDF of full publication (114.1 kilobytes)

(need help viewing PDF files?)

Information from pubs.doc.ic.ac.uk/pasta2004.