Dimitrios Milios, Stephen Gilmore. Compositional Approximate Markov Chain Aggregation for PEPA Models. In Mirco Tribastone, Stephen Gilmore, editors, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Volume 7587 of Lecture Notes in Computer Science, pages 96-110, Springer, 2012. [doi]
Abstract is missing.