Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane  Scalable differential analysis of process algebra models.  IEEE Transactions on Software Engineering, 38 (1).  pp. 205-219.  ISSN 0098-5589      (2012)