1. A Compositional Approach to Performance Modelling;Hillston,1996
2. Exact and ordinary lumpability in finite Markov chains;Buchholz;J. Appl. Probab.,1994
3. Compositional approximate Markov chain aggregation for PEPA models;Milios,2013
4. An efficient Kronecker representation for PEPA models;Hillston,2001
5. A Structured Approach to Operational Semantics, Tech. rep;Plotkin,1981