Control Flow Analysis for BioAmbients

Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and da Rosa, Debora Schuch (2003) Control Flow Analysis for BioAmbients. UNSPECIFIED. (Unpublished)

Download (3420Kb) | Preview


    This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of the ambients that can interact with each other. We eventually apply our analysis to an example of gene regulation by positive feedback taken from the literature.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QH Natural history > QH301 Biology
    Q Science > QH Natural history
    Report Number: DIT-03-036
    Repository staff approval on: 02 Jul 2003

    Actions (login required)

    View Item