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.
- G. Clark. Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, The
University of Edinburgh, 2000. (Gzipped PostScript, 167 pages, 523797 bytes)
- G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo. Exploiting modal logic to express performance
measures. In B.R. Haverkort, H.C. Bohnenkamp, and C.U. Smith, editors, Computer Performance Evaluation: Modelling Techniques and Tools,
Proceedings of the 11th International Conference, number 1786 in LNCS, pages 211-227, Schaumburg, Illinois, USA, March 2000. Springer-Verlag.
(Gzipped PostScript, 15 pages, 178636 bytes)
- J. Tomasik and J. Hillston. Transforming PEPA models to obtain product form bounds. Technical Report
EDI-INF-RR-0009, Laboratory for Foundations of Computer Science, The University of Edinburgh, February 2000. (PDF,
- J. Hillston and J. Tomasik. Amalgamation of transition sequences in the PEPA formalism. Technical Report
EDI-INF-RR-0013, Laboratory for Foundations of Computer Science, The University of Edinburgh, March 2000. (PDF, 384060
- L. Console, C. Picardi, and M. Ribaudo. Diagnosis and Diagnosability Analysis using Process Algebras. In
Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00), Morelia, Mexico, June 2000. (Gzipped
PostScript, 8 pages, 63842 bytes)
- L. Console, C. Picardi, and M. Ribaudo. Diagnosis and Diagnosability Analysis using PEPA. In Proc. of
14th European Conference on Artificial Intelligence, Berlin, August 2000. (Gzipped PostScript, 5 pages,
- P. Mitton and R. Holton. PEPA performability modelling using UML statecharts. In Thomas and
Bradley , pages 19-33. (PostScript, 15 pages, 461625 bytes)
- S. Gilmore and J. Hillston. Performance modelling in PEPA with higher-order functions. In Thomas and Bradley , pages 35-46. (Gzipped PostScript, 12 pages, 141963 bytes) (PDF, 204136 bytes)
- N. Thomas, M. Munro, P. King, and R. Pooley. Visualisation for model comprehension. In Thomas and Bradley , pages 47-58. (PDF, 348986 bytes)
- J. Bradley and N. Thomas. Constructing a partial order for performance measures. In Thomas
and Bradley , pages 177-186. (PostScript, 10 pages, 461127 bytes)
- J. Hillston and J. Tomasik. Amalgamation of transition sequences in the PEPA formalism. In Gorrieri et al. , pages 523-534. (PostScript, 12 pages, 206520 bytes) (PDF, 142223 bytes)
- N. Thomas, M. Munro, P. King, and R. Pooley. Visual representation of stochastic process algebra
models. In Proceedings on the second international Workshop on Software and Performance (WoSP), pages 18-19, Ottawa, Canada,
September 2000. ACM. (PDF, 28653 bytes)
- F. Wan. Interface engineering and transient analysis for the PEPA Workbench. Master's thesis, School of Computer
Science, The University of Edinburgh, September 2000. (Gzipped PostScript, 54 pages, 322434 bytes)
- PEPA: a stochastic progress algebra formalism,
University of Illinois at Urbana-Champaign, October 2000. (PDF, 2017938 bytes)
- R. Gorrieri et al., editor. ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International
Colloquium on Automata, Languages and Programming (Proceedings of the Eighth Annual Workshop on Process Algebra and Performance
Modelling), number 8 in Proceedings in Informatics, Geneva, Switzerland, September 2000. Carleton Scientific.
- N. Thomas and J. Bradley, editors. Proceedings of the Sixteenth UK Performance Engineering
Workshop, University of Durham, July 2000.