AESOP home

Publications

A Matrix-based Method for Analysing Stochastic Process Algebras

Jeremy T. Bradley, N.J. Davies

Conference or Workshop Paper
PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops
June, 2000
pp.579–590
Carleton Scientific
Abstract

This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on these stochastic transition systems and show how this can be implemented as a matrix-analysis method for finding steady-state distributions. We verify that the time complexity of the algorithm is a considerable improvement upon a previousmethod and discuss how the technique can be used to generate partial steady-state distributions for SPA systems.

PDF of full publication (124.9 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (91.9 kilobytes)
(need help viewing GZipped Postscript files?)

Information from pubs.doc.ic.ac.uk/matrix-based-spa-analysis.