Hillston, Jane and Tribastone, Mirco and Gilmore, Stephen  Stochastic process algebras: from individuals to populations.  The Computer Journal, 55 (7).  pp. 866-881.  ISSN 0010-4620      (2012)