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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/QEST.2007.48 | QEST |
Keywords | Field | DocType |
markovian response-time analyser,pepa model,ipclib pepa library,compositional approach,model description,popular stochastic process algebra,ipc software,ipc compiler,stochastic model,process algebra,markov processes | Analyser,Markov process,Computer science,Compiler,Theoretical computer science,Software,Stochastic modelling,Code refactoring,Process calculus,PEPA | Conference |
ISBN | Citations | PageRank |
0-7695-2883-X | 10 | 0.79 |
References | Authors | |
1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Allan Clark | 1 | 259 | 13.74 |