1. A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time;Bernardo;Theoret. Comput. Sci.,1998
2. M. Bhabuta, P.G. Harrison, K. Kanani, Detecting reversibility in Markovian process algebra, in: M. Merabti, M. Carew, F. Ball (Eds.), Performance Engineering of Computer and Telecommunications Systems, Springer, Berlin, 1995.
3. A characterisation of independence for competing Markov chains with applications to stochastic Petri nets;Boucherie;IEEE Trans. Software Engrg.,1994
4. P. Buchholz, Hierarchical Markovian models – Symmetries and reduction, in: R. Pooley, J. Hillston (Eds.), Computer Performance Evaluation: Modelling Techniques and Tools, Edinburgh University Press, Edinburg, 1993, pp. 305–319.
5. G. Clark, S. Gilmore, J. Hillston, N. Thomas, Experience with the PEPA performance modelling tools, in: R. Pooley, N. Thomas (Eds.), Proceedings of the 14th UK Performance Engineering Workshop, Edinburgh, July 1998.