Book Chapter Process Calculi Abstractions for Biology


Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by Petri Nets theory and others by stochastic processes. A most recent approach consists in interpreting living entities as terms of process calculi, by composition of a few behavioural abstractions. This paper comparatively surveys the state of the art of the process calculi approach to biological modelling. The modelling features of a set of calculi are tested against a simple biological scenario, and available extensions and tools are briefly commented upon.

Paper Details


M. Guerriero,  D. Prandi,  C. Priami,  P. Quaglia