A Calculus of Chemical Systems

In recent years various calculi have been proposed for modelling biological systems, typically intracellular pathways. These calculi generally fall into one of two camps: ones based on process calculi, such as Milner’s pi-calculus [24], and rule-based ones. Examples of the former include [31, 32, 30]; examples of the latter include BIOCHAM, κ, BioNet