Aliye, Kuerban <1988>
(Università Ca' Foscari Venezia, 2016-03-09)
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 ...