DocumentCode
3464432
Title
The ipclib PEPA Library
Author
Clark, Allan
Author_Institution
Univ. of Edinburgh, Edinburgh
fYear
2007
fDate
17-19 Sept. 2007
Firstpage
55
Lastpage
56
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location
Edinburgh
Print_ISBN
978-0-7695-2883-0
Type
conf
DOI
10.1109/QEST.2007.20
Filename
4338238
Link To Document