Book Chapter Cell Cycle Modeling, Process Algebra


Process algebras are formal languages originally conceived for modeling concurrent systems and are also a conceptual tool for the high-level description of interactions, communications, and synchronizations between a collection of independent processes. Concurrent computing systems do not allow assumptions on the relative speed of their components, and therefore, a certain degree of non-determinism emerges in systems behavior. Several approaches have been developed and used to model and study complex interaction mechanisms in biological systems, and different process algebra–derived languages have been used, in particular, to build models of cell cycle at different levels of abstraction.

Paper Details


A. Palmisano,  C. Priami