Computing Publications

Publications Home » A Matrix-based Method for Analysi...

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
July, 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.

Keywords
AESOP
PDF of full publication (125 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (92 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.