The ipclib PEPA Library
Allan Clark · 2007
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.