Journal article
Control Flow Analysis for BioAmbients
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.
| Language: | English |
|---|---|
| Year: | 2007 |
| Pages: | 65-79 |
| ISSN: | 15710661 |
| Types: | Journal article |
| DOI: | 10.1016/j.entcs.2004.01.041 |
| ORCIDs: | Nielson, Flemming and Nielson, Hanne Riis |
