The pi-calculus with biological transactions

Ciocchetta, Federica and Priami, Corrado (2006) The pi-calculus with biological transactions. UNSPECIFIED. (Unpublished)

Download (264Kb) | Preview


    In this work we extend the -calculus with a simple class of trans-actions, suitable to model multi-reactant, multiproduct chemical re-actions. Some examples are reported to validate our extension.

    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-02-2006
    Repository staff approval on: 27 Nov 2009

    Actions (login required)

    View Item