Control Flow Analysis for BioAmbients

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

    Research output: Contribution to journalJournal articleResearchpeer-review

    265 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

    Fingerprint

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

    Cite this