@inproceedings{1bea1fdb01ad442685f01b78973945de,

title = "Partial Evaluation of PEPA Models for Fluid-Flow Analysis",

abstract = "We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEPA model in order to remove uses of the cooperation and hiding operators and compile an arbitrary sub-model into a single sequential component. This transformation is applied to PEPA models which are not in the correct form for the application of the fluid-flow analysis for PEPA [2]. The result of the transformation is a PEPA model which is amenable to fluid-flow analysis but which is strongly equivalent [1] to the input PEPA model and so, by an application of Hillston{\textquoteright}s theorem, performance results computed from one model are valid for the other. We apply the method to a Markovian model of a key distribution centre used to facilitate secure distribution of cryptographic session keys between remote principals communicating over an insecure network.",

author = "Allan Clark and Adam Duguid and Stephen Gilmore and Mirco Tribastone",

year = "2008",

doi = "10.1007/978-3-540-87412-6_2",

language = "English",

isbn = "978-3-540-87411-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "2--16",

editor = "Nigel Thomas and Carlos Juiz",

booktitle = "Computer Performance Engineering",

}