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.
- [1]
- 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)
- [2]
- 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)
- [3]
- 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, 370681 bytes)
- [4]
- 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 bytes)
- [5]
- 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)
- [6]
- 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, 48328 bytes)
- [7]
- P. Mitton and R. Holton.
PEPA performability modelling using UML
statecharts.
In Thomas and Bradley [18], pages 19-33.
(PostScript, 15 pages, 461625 bytes)
- [8]
- S. Gilmore and J. Hillston.
Performance modelling in PEPA with higher-order
functions.
In Thomas and Bradley [18], pages 35-46.
(Gzipped PostScript, 12 pages, 141963 bytes)
(PDF, 204136 bytes)
- [10]
- N. Thomas, M. Munro, P. King, and
R. Pooley.
Visualisation for model comprehension.
In Thomas and Bradley [18], pages 47-58.
(PDF, 348986 bytes)
- [11]
- J. Bradley and N. Thomas.
Constructing a partial order for performance measures.
In Thomas and Bradley [18], pages
177-186.
(PostScript, 10 pages, 461127 bytes)
- [12]
- J. Hillston and J. Tomasik.
Amalgamation of transition sequences in the PEPA
formalism.
In Gorrieri et al. [17], pages 523-534.
(PostScript, 12 pages, 206520 bytes)
(PDF, 142223 bytes)
- [14]
- 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)
- [15]
- 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)
- [16]
- PEPA: a stochastic progress algebra formalism, University of
Illinois at Urbana-Champaign, October 2000.
(PDF, 2017938 bytes)
- [17]
- 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.
- [18]
- N. Thomas and J. Bradley, editors.
Proceedings of the Sixteenth UK Performance Engineering
Workshop, University of Durham, July 2000.