@inproceedings{253ab596688a476185fce6c06f5c53e0,
title = "Specifying Performance Measures for PEPA",
abstract = "Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the stochastic process algebra methodology lacks support for the specification and calculation of complex performance measures. This paper addresses that problem by presenting a performance specification language which supports high level reasoning about PEPA models, allowing the description of equilibrium (steady-state) measures. The meaning of the specification language can be made formal by examining its foundations in a stochastic modal logic. A case-study is presented to illustrate the approach.",
author = "Graham Clark and Stephen Gilmore and Jane Hillston",
year = "1999",
doi = "10.1007/3-540-48778-6_13",
language = "English",
isbn = "978-3-540-66010-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "211--227",
editor = "Joost-Pieter Katoen",
booktitle = "Formal Methods for Real-Time and Probabilistic Systems",
address = "United Kingdom",
}