Author:
Tribastone Mirco,Gilmore Stephen
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Extracting passage times from PEPA models with the HYDRA tool: A case study. In S. Jarvis, editor, Proceedings of the Nineteenth annual UK Performance Engineering Workshop, pages 79–90, University of Warwick, July 2003.
2. Allan Clark. The ipclib PEPA Library. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST), pages 55–56, Edinburgh, Scotland, UK, 17–19 September 2007. IEEE Computer Society.
3. Allan Clark, Adam Duguid, Stephen Gilmore, and Mirco Tribastone. Partial Evaluation of PEPA Models for Fluid-Flow Analysis. In EPEW, volume 5261 of LNCS, pages 2–16, 2008.
4. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353–368, Vienna, May 1994. Springer-Verlag.
5. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.