Title :
The ipclib PEPA Library
Author_Institution :
Univ. of Edinburgh, Edinburgh
Abstract :
PEPA[6] is a popular stochastic process algebra which allows a compositional approach to stochastic model description. The ipc compiler translates a given PEPA model into a format suitable for processing by the Hydra[5] Markovian response-time analyser. The ipc software has undergone some improvements which have led to its refactoring as a library for handling PEPA models.
Keywords :
Markov processes; process algebra; software libraries; Hydra; Markovian response-time analyser; PEPA model; compositional approach; ipc compiler; ipc software; ipclib PEPA library; stochastic model description; stochastic process algebra; Algebra; Computer science; Distributed computing; Informatics; Laboratories; Probes; Software libraries; Stochastic processes; Stochastic systems; Utility programs;
Conference_Titel :
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location :
Edinburgh
Print_ISBN :
978-0-7695-2883-0
DOI :
10.1109/QEST.2007.20
