Journal article
Control Flow Analysis for BioAmbients
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 |