A Matrix-based Method for Analysing Stochastic Process Algebras

Bradley J, Davies N

Research output: Contribution to journalArticle (Academic Journal)peer-review

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 previous method and discuss how the technique can be used to generate partial steady-state distributions for SPA systems.
Translated title of the contributionA Matrix-based Method for Analysing Stochastic Process Algebras
Original languageEnglish
Pages (from-to)579-590
JournalProceedings in Informatics -- PAPM'2000, Process Algebra and Performance Modelling
Publication statusPublished - 2000

Bibliographical note

ISBN: 1894145070
Publisher: Carleton Scientific Press
Name and Venue of Conference: Proceedings in Informatics -- PAPM'2000, Process Algebra and Performance Modelling
Other identifier: 1000452

Fingerprint Dive into the research topics of 'A Matrix-based Method for Analysing Stochastic Process Algebras'. Together they form a unique fingerprint.

Cite this