Galpin, Vashti; Hillston, Jane A semantic equivalence for Bio-PEPA based on discretisation of continuous values. (English) Zbl 1215.68140 Theor. Comput. Sci. 412, No. 21, 2142-2161 (2011). MSC: 68Q80 92C42 PDFBibTeX XMLCite \textit{V. Galpin} and \textit{J. Hillston}, Theor. Comput. Sci. 412, No. 21, 2142--2161 (2011; Zbl 1215.68140) Full Text: DOI
Ciocchetta, Federica; Hillston, Jane Bio-PEPA: A framework for the modelling and analysis of biological systems. (English) Zbl 1173.68041 Theor. Comput. Sci. 410, No. 33-34, 3065-3084 (2009). MSC: 68Q85 92B05 92C40 PDFBibTeX XMLCite \textit{F. Ciocchetta} and \textit{J. Hillston}, Theor. Comput. Sci. 410, No. 33--34, 3065--3084 (2009; Zbl 1173.68041) Full Text: DOI
Bradley, Jeremy T.; Gilmore, Stephen T.; Hillston, Jane Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. (English) Zbl 1154.68318 J. Comput. Syst. Sci. 74, No. 6, 1013-1032 (2008). MSC: 68M10 68Q85 PDFBibTeX XMLCite \textit{J. T. Bradley} et al., J. Comput. Syst. Sci. 74, No. 6, 1013--1032 (2008; Zbl 1154.68318) Full Text: DOI