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]
J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996. (Gzipped PostScript, 168 pages, 380992 bytes) (PDF, 1594115 bytes)

[3]
S. Gilmore, J. Hillston, D.R.W. Holton, and M. Rettelbach. Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research, 34(4):1065-1080, 1996. (Gzipped PostScript, 26 pages, 42601 bytes)

[4]
M. Kwiatkowska and G. Norman. Metric denotational semantics for PEPA. In M. Ribaudo, editor, Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling, pages 120-138. Dipartimento di Informatica, Università di Torino, CLUT, July 1996. (Gzipped PostScript, 19 pages, 110459 bytes)

[5]
G. Clark. Formalising the specification of rewards with PEPA. In Ribaudo [10], pages 139-160. (Gzipped PostScript, 22 pages, 82556 bytes)

[6]
S. Gilmore, J. Hillston, and D.R.W. Holton. From SPA models to programs. In Ribaudo [10], pages 179-198. (Gzipped PostScript, 20 pages, 95457 bytes)

[7]
S. Gilmore and J. Hillston. Refining internal choice in PEPA models. In Pooley and Hillston [11], pages 49-64. (Gzipped PostScript, 16 pages, 81981 bytes)

[8]
G. Clark and J. Hillston. Towards automatic derivation of performance measures from PEPA models. In Pooley and Hillston [11], pages 65-81. (Gzipped PostScript, 17 pages, 58485 bytes)

[9]
A. El-Rayes, M. Kwiatkowska, and S. Minton. Analysing performance of lift systems in PEPA. In R. Pooley and J. Hillston, editors, Proceedings of the Twelfth UK Performance Engineering Workshop, pages 83-100, Edinburgh, Scotland, September 1996. (PDF, 267065 bytes)

[10]
M. Ribaudo, editor. Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling. Dipartimento di Informatica, Università di Torino, CLUT, July 1996.

[11]
R. Pooley and J. Hillston, editors. Proceedings of the Twelfth UK Performance Engineering Workshop, Department of Computer Science, The University of Edinburgh, September 1996.

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