PEPA
PEPA
Performance Evaluation Process Algebra
PEPA
Tutorials on the PEPA Eclipse Plugin

Tutorials

Getting started
State-space generation and navigation Markovian modelling and experimentation

Contact addresses: Jane Hillston and Stephen Gilmore, {jeh,stg}@inf.ed.ac.uk.
    Laboratory for Foundations of Computer Science, The University of Edinburgh.
Last modified: Friday 18 November 2011