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.
Titolo: | Process Calculi Abstractions for Biology | |
Autori: | M. L., Guerriero; Prandi, Davide; Priami, Corrado; Quaglia, Paola | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Algorithmic Bioprocesses | |
Luogo di edizione: | Berlin | |
Casa editrice: | Springer | |
Anno di pubblicazione: | 2009 | |
ISBN: | 9783540888680 | |
Handle: | http://hdl.handle.net/11572/94764 | |
Appare nelle tipologie: | 02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter) |