Control Flow Analysis for BioAmbients

Flemming Nielson, Hanne Riis Nielson, C. Priami, D. Schuch da Rosa

    Research output: Contribution to journalJournal articleResearchpeer-review

    139 Downloads (Pure)

    Abstract

    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.
    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Volume180
    Issue number3
    Pages (from-to)65-79
    ISSN1571-0661
    DOIs
    Publication statusPublished - 2007

    Cite this