Control Flow Analysis for BioAmbients |
Flemming Nielson, Hanne Riis Nielson, C. Priami, D. Schuch da Rosa
|
| 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. |
| Type | Journal paper [With referee] |
| Journal | Electronic Notes in Theoretical Computer Science |
| Year | 2003 |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |