PEPA Club is a community within the Laboratory for Foundations of Computer Science , University of Edinburgh centering around applications of stochastic process algebra. The Performance Evaluation Process Algebra , or PEPA, was invented by Jane Hillston during her PhD, and is now widely used for stochastically modelling all sorts of concurrent systems. Current research interests of PEPA Club members include:
- Modelling and performance analysis of communications protocols and web services.
- Systems biology (in particular, modelling of signalling pathways).
- Tools for performance modelling and analysis.
- Model checking of stochastic models.
- Performance analysis and software engineering.
- PEPA Nets (PEPA with mobile agents).
- Non-Markovian semantics of PEPA (in particular, ODE semantics).
- Stochastic abstraction of code.
We meet once a week, usually at 11am on Fridays in room 3.02 of the Informatics Forum. All are welcome to attend. Nourishment usually in the form of a cake is provided each week by members on a semi-rotating-random basis.