PEPA
PEPA
Performance Evaluation Process Algebra
PEPA

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.

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: Wed Dec 1 11:26:23 GMT 2010