Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and da Rosa, Debora Schuch (2003) Control Flow Analysis for BioAmbients. UNSPECIFIED. (Unpublished)
![[img]](http://eprints.biblio.unitn.it/style/images/fileicons/application_pdf.png)
| PDF Download (3420Kb) | Preview |
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.
| Item Type: | Departmental Technical Report |
|---|---|
| Department or Research center: | Information Engineering and Computer Science |
| Subjects: | Q Science > QH Natural history > QH301 Biology Q Science > QH Natural history |
| Report Number: | DIT-03-036 |
| Repository staff approval on: | 02 Jul 2003 |
Actions (login required)
| View Item |
