Simulation of Chemical Reactions; SPIM; Stochastic pi-calculus

A critical aspect in the modeling of biological systems is the description view point. On the one hand, the Stochastic π-calculus formalism provides an intuitive and compact representation from an internal perspective. On the other hand, other …