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.
Control Flow Analysis for BioAmbients / Nielson, Flemming; Nielson, Hanne Riis; da Rosa, Debora Schuch; Priami, Corrado. - ELETTRONICO. - (2003).
Control Flow Analysis for BioAmbients
da Rosa, Debora Schuch;Priami, Corrado
2003-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
036.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
3.42 MB
Formato
Adobe PDF
|
3.42 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
