Bibliography of papers on PEPA
[ All | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 ]
This is a bibliography of papers, articles and books on the use and development of Performance Evaluation Process Algebra (PEPA). Many of the papers listed here are available from this page via hyperlinks. The PEPA bibliography is also available as a BibTeX file, DVI, PostScript and PDF.
If you have written a paper on PEPA which you would like to have included here or you would like to make updates or corrections to this list please send an email to Stephen Gilmore.
This page is also indexed at Citeseer. If the paper you are looking for is not here you can query Citeseer for papers on PEPA.
- M. Tribastone, A. Duguid, and
The PEPA Eclipse Plug-in.
Performance Evaluation Review, 36(4):28-33, March 2009.
(PDF, 278186 bytes)
- Allan Clark and Stephen
Transformations in PEPA Models and Stochastic Probe
In Karim Djemame, editor, Proceedings of the Twenty-Fifth UK Performance
Engineering Workshop, pages 1-16, Leeds University, July 2009.
(PDF, 200007 bytes)
- Allan Clark, Adam Duguid, and Stephen
In Jeremy T. Bradley, editor, Computer Performance Engineering, 6th
European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10,
2009, Proceedings, volume 5652 of Lecture Notes in Computer
Science, pages 110-115. Springer, 2009.
(PDF, 121226 bytes)
- Muffy Calder, Stephen
Gilmore, Jane Hillston, and Vladislav Vyshemirsky.
Formal methods for biochemical signalling pathways.
In Jonathan P.; Siddiqi Jawed I Boca, Paul P.; Bowen, editor, Formal
Methods: State of the Art and New Directions. Springer, 2009.
To appear October 2009.
(PDF, 253986 bytes)