The PEPA plug-in project

Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007

Volumn , Issue , 2007, Pages 53-54

  Tribastone, Mirco ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FLUID FLOW ANALYSIS; MARKOVIAN; PERFORMANCE EVALUATIONS; STATE ANALYSES; STOCHASTIC PROCESS ALGEBRAS; STOCHASTIC SIMULATIONS; TOOL SUPPORTING;

FLOW SIMULATION;

EID: 41549164145     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2007.49     Document Type: Conference Paper

References (6)

1. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
2. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005.
3. Eclipse Foundation. Eclipse home page, http://eclipse.org.
4. S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449-464, May 2001.
5. 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, May 1994.
6. J.T. Bradley, N.J. Dingle, S.T. Gilmore, and WJ. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, October 2003.