| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424317 | Electronic Notes in Theoretical Computer Science | 2007 | 15 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
