AESOP home


RCAT: From PEPA to Product form

Jeremy T. Bradley

Technical Report
Department of Computing, Imperial College London
March, 2007
Volume 2007
Issue 2

A short introduction to RCAT and reversed processes based on the stochastic process algebra PEPA. We make use of the standard PEPA syntax throughout and show how product form steady state formulae can be produced using RCAT. This is used on the Performance Analysis course (336) in the Department of Computing.


Note that a new version of this report was added 28 Feb 2008. This expanded on the previous version and also corrected a few errors.

PDF of full publication (190.6 kilobytes)
(need help viewing PDF files?)
Postscript of full publication (350.2 kilobytes)
(need help viewing Postscript files?)

Information from