Computing Publications

Publications Home » Automated product-forms with Meercat

Automated product-forms with Meercat

Ashok Argent-Katwala

Conference or Workshop Paper
SMCtools 2006, Tools for solving Structured Markov Chains
October, 2006
ACM International Conference Proceedings
Volume 201
Issue 10
ACM
DOI 10.1145/1190366.1190375
Abstract

The Reversed Compound Agent Theorem (RCAT) is a compositional result that uses Markovian process algebra to derive the reversed process of two cooperating continuous time Markov chains at equilibrium, under certain conditions. From this reversed process, together with the given, forward process, the joint state probabilities can be expressed as a product-form.

We introduce Meercat, the first implementation of the RCAT, which classifies models where the theorem can be applied, and generates their product-form solutions.

Keywords
AESOP
Process Algebra
Product-form
Stochastic Modelling
PDF of full publication (205 kilobytes)
(need help viewing PDF 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.