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 language | English |
---|---|
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 180 |
Issue number | 3 |
Pages (from-to) | 65-79 |
ISSN | 1571-0661 |
DOIs | |
Publication status | Published - 2007 |