1. L. Bortolussi, Constraint-based approaches to stochastic dynamics of biological systems, PhD thesis, University of Udine, 2007
2. Analysis of a multimedia stream using stochastic process algebras;Bowman;Comput. J.,2001
3. Derivation of passage-time densities in PEPA models using ipc: The Imperial PEPA compiler;Bradley,2003
4. Jeremy T. Bradley, Jane Hillston, Using ODEs and continuous state-space approximation to analyse massively parallel process algebra models, Theoret. Comput. Sci. (2007), submitted for publication
5. Muffy Calder, Stephen Gilmore, Jane Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Gordon Plotkin (Ed.), Proceedings of Computational Methods in Systems Biology, CMSB 2005, Edinburgh, Scotland, April 2005, pp. 204–215