@ARTICLE\{IMM2003-03187,
    author       = "F. Nielson and H. R. Nielson and C. Priami and D. Schuch da Rosa",
    title        = "Control Flow Analysis for BioAmbients",
    year         = "2003",
    journal      = "Electronic Notes in Theoretical Computer Science",
    volume       = "",
    editor       = "",
    number       = "",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3187-full.html",
    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."
}