1. Herzog, U.: Formal description, time and performance analysis: A framework. Technical Report 15/90, IMMD VII, Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany (September 1990)
2. Holton, D.: A PEPA specification of an industrial production cell. The Computer Journal (Special Issue: Gilmore, S., Hillston, J., eds.: Proceedings of the Third International Workshop on Process Algebras and Performance Modelling) 38(7), 542–551 (1995)
3. Gilmore, S., Hillston, J., Holton, D.R.W., Rettelbach, M.: Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research 34(4), 1065–1080 (1996)
4. Thomas, N., Hillston, J.: Using Markovian process algebra to specify interactions in queueing systems. Technical Report ECS-LFCS-97-373, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh (1997)
5. Bowman, H., Bryans, J., Derrick, J.: Analysis of a multimedia stream using stochastic process algebra. In: Priami, C. (ed.) Sixth International Workshop on Process Algebras and Performance Modelling, Nice, September 1998, pp. 51–69 (1998),
http://www.cs.ukc.ac.uk/pubs/1998/611