Process Calculi Abstractions for Biology

Guerriero, Maria Luisa and Prandi, Davide and Priami, Corrado and Quaglia, Paola (2006) Process Calculi Abstractions for Biology. UNSPECIFIED.

Download (321Kb) | Preview


    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 some other by stochastic processes. A most recent approach consists in interpreting the living entities as terms of process calculi where the behavior of the represented systems can be inferred by applying syntax-driven rules. A comprehensive picture of the state of the art of the process calculi approach to biological modeling is still missing. This paper goes in the direction of providing such a picture by presenting a comparative survey of the process calculi that have been used and proposed to describe the behavior of living entities. This is the preliminary version of a paper that was published in Algorithmic Bioprocesses. The original publication is available at

    Item Type: Departmental Technical Report
    Department or Research center: CoSBi (Center for Computational and Systems Biology)
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Report Number: TR-13-2006
    Repository staff approval on: 30 Nov 2009

    Actions (login required)

    View Item