Computing Publications

Publications Home » RCAT: From PEPA to Product form

RCAT: From PEPA to Product form

Jeremy T. Bradley

Technical Report
Department of Computing, Imperial College London
March, 2007
Volume 2007
Issue 2
pp.1–8
Abstract

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.

Keywords
Process Algebra
Product-form
Stochastic Modelling
AESOP
Notes

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 (191 kilobytes)
(need help viewing PDF files?)
Postscript of full publication (350 kilobytes)
(need help viewing Postscript 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.