
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. An extended weak isomorphism for model simplification. In Brinksma and Nymeyer [5].
Centre for Telematics and Information Technology, Technical report number 9714. (Gzipped PostScript, 4 pages, 54449
bytes)
 [2]
 D.R.W. Holton and J.P.N. Glover. An SPA performance model of a production cell. In D. Kouvatsos, editor,
Proceedings of the Thirteenth UK Performance Engineering Workshop, pages 6/16/6, Bradford, 1997. (Gzipped
PostScript, 6 pages, 62377 bytes)
 [3]
 N. Thomas and J. Hillston. Using Markovian process algebra to specify interactions in queueing systems.
Technical Report ECSLFCS97373, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997.
(Gzipped PostScript, 26 pages, 99650 bytes)
 [4]
 S. Gilmore, J. Hillston, and L. Recalde. Elementary structural analysis for PEPA. Technical Report
ECSLFCS97377, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997. (Gzipped PostScript, 16 pages, 84645 bytes)
 [5]
 E. Brinksma and A. Nymeyer, editors. Proceedings of the Fifth Annual Workshop on Process Algebra and Performance
Modelling. University of Twente, June 1997. Centre for Telematics and Information Technology, Technical report number 9714.
