John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea Constructing and visualizing chemical reaction networks from pi-calculus models. (English) Zbl 1298.92128 Formal Asp. Comput. 25, No. 5, 723-742 (2013). MSC: 92E20 68Q85 PDFBibTeX XMLCite \textit{M. John} et al., Formal Asp. Comput. 25, No. 5, 723--742 (2013; Zbl 1298.92128) Full Text: DOI
Lakin, Matthew R.; Paulevé, Loïc; Phillips, Andrew Stochastic simulation of multiple process calculi for biology. (English) Zbl 1251.68158 Theor. Comput. Sci. 431, 181-206 (2012). MSC: 68Q85 92B05 92C42 PDFBibTeX XMLCite \textit{M. R. Lakin} et al., Theor. Comput. Sci. 431, 181--206 (2012; Zbl 1251.68158) Full Text: DOI