Book Chapter Process Calculi Abstractions for Biology


Abstract

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

Authors

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

Language

English
.