@incollection{eprints2568,
          author = {Allan Clark and Adam Duguid and Stephen Gilmore and Mirco Tribastone},
            year = {2008},
       booktitle = {Computer Performance Engineering},
          number = {5261},
           pages = {2--16},
       publisher = {Springer},
          series = {Lecture Notes in Computer Science},
           title = {Partial evaluation of PEPA models for fluid-flow analysis},
            note = {5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings},
             url = {http://eprints.imtlucca.it/2568/},
        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?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.}
}