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 and L. Kloul. Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects of Computing, 19(1):3-33, 2007. (PDF, 649575 bytes)

[2]
Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone. Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, volume 4486, chapter Stochastic Process Algebras, pages 132-179. Springer-Verlag, Bertinoro, Italy, May-June 2007. (PDF, 1058930 bytes)

[3]
Mirco Tribastone. The PEPA Plug-in Project. In Mor Harchol-Balter, Marta Kwiatkowska, and Miklos Telek, editors, Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pages 53-54. IEEE, September 2007. (PDF, 126621 bytes)

[4]
Allan Clark. The ipclib PEPA Library. In Mor Harchol-Balter, Marta Kwiatkowska, and Miklos Telek, editors, Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pages 55-56. IEEE, September 2007. (PDF, 166758 bytes)

[5]
Hao Wang, Dave Laurenson, and Jane Hillston. PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. In Proceedings of the 15th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007), Istanbul, Turkey, October 2007. IEEE Computer Society Press. (PDF, 723825 bytes)

[6]
Luca Gerosa. Stochastic process algebras as design and analysis framework for synthetic biology modelling. Master's thesis, University of Trento, 2007. (PDF, 1671994 bytes)

[7]
Jie Ding, Jane Hillston, and Dave Laurenson. Performance modelling of content adaptation for a personal distributed environment. Personal Wireless Communication, November 2007. doi 10.1007/s11277-007-9427-4. (PDF, 883737 bytes)

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