We consider a process algebra for modelling and the analysis of biochemical network, called Bio-PEPA. It is based on PEPA, a process algebra originally defined for the performance analysis of computer systems, and extended ...