AESOP home


Automated product-forms with Meercat

Ashok Argent-Katwala

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

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.

PDF of full publication (205 kilobytes)
(need help viewing PDF files?)

Information from