Automated product-forms with Meercat

Ashok  Argent-Katwala

1st International ICST Workshop on Tools for solving Structured Markov Chains

Research Article

Automated product-forms with Meercat

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1145/1190366.1190375,
    author={Ashok  Argent-Katwala},
    title={Automated product-forms with Meercat},
    proceedings={1st International ICST Workshop on Tools for solving Structured Markov Chains},
    publisher={ACM},
    proceedings_a={SMCTOOLS},
    year={2012},
    month={4},
    keywords={},
    doi={10.1145/1190366.1190375}
}

Ashok Argent-Katwala
Year: 2012
Automated product-forms with Meercat
SMCTOOLS
ACM
DOI: 10.1145/1190366.1190375

Ashok Argent-Katwala¹^,*

1: Department of Computing, Imperial College London, London, UK, SW7 2RH

*Contact email: ashok@doc.ic.ac.uk

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.

Published: 2012-04-05
Publisher: ACM

: http://dx.doi.org/10.1145/1190366.1190375