TY  - CHAP
AV  - none
TI  - The PEPA Plug-in Project
Y1  - 2007/09//
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4338237&isnumber=4338222
A1  - Tribastone, Mirco
PB  - IEEE
SN  - 978-0-7695-2883-0 
SP  - 53
N2  - We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, and stochastic simulation.
N1  - Quantitative Evaluation of Systems, held in Edinburgh (UK), 17-19 September 2007 
ID  - eprints2565
EP  - 54
T2  - Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007
ER  -