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.
CITATION STYLE
Guerriero, M. L., Prandi, D., Priami, C., & Quaglia, P. (2009). Process calculi abstractions for biology. Natural Computing Series, (9783540888680), 463–486. https://doi.org/10.1007/978-3-540-88869-7_23
Mendeley helps you to discover research relevant for your work.