1. Modeling Biological Systems in Stochastic Concurrent Constraint Programming;Bortolussi;Constraints,2008
2. Calder, M., S. Gilmore, and J. Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In the Proc. of BioConcur'04, London, Sept. 2004
3. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA;Calder,2006
4. Analysis of Signalling Pathways using Continuous Time Markov Chains;Calder,2006
5. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks;Ciocchetta;Electronic Notes in Computer Science,2008