Control Flow Analysis for BioAmbients

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

    Research output: Contribution to journalJournal articleResearchpeer-review

    226 Downloads (Pure)


    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
    Issue number3
    Pages (from-to)65-79
    Publication statusPublished - 2007


    Dive into the research topics of 'Control Flow Analysis for BioAmbients'. Together they form a unique fingerprint.

    Cite this