Control Flow Analysis for BioAmbients

Flemming Nielson; Hanne Riis Nielson; C. Priami; D. Schuch da Rosa

doi:10.1016/j.entcs.2004.01.041

Control Flow Analysis for BioAmbients

Flemming Nielson
, Hanne Riis Nielson
, C. Priami
, D. Schuch da Rosa

Research output: Contribution to journal › Journal article › Research › peer-review

272 Downloads (Orbit)

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	https://doi.org/10.1016/j.entcs.2004.01.041
Publication status	Published - 2007

Access to Document

10.1016/j.entcs.2004.01.041

Imm3187Final published version, 237 KB

http://www2.imm.dtu.dk/pubdb/p.php?3187

OpenUrl availability

Check availability in DTU Findit

Cite this

@article{406cd756b89e4d338423a4c7ba204ae2,

title = "Control Flow Analysis for BioAmbients",

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.",

author = "Flemming Nielson and Nielson, \{Hanne Riis\} and C. Priami and Rosa, \{D. Schuch da\}",

year = "2007",

doi = "10.1016/j.entcs.2004.01.041",

language = "English",

volume = "180",

pages = "65--79",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - Control Flow Analysis for BioAmbients

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Priami, C.

AU - Rosa, D. Schuch da

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1016/j.entcs.2004.01.041

DO - 10.1016/j.entcs.2004.01.041

M3 - Journal article

SN - 1571-0661

VL - 180

SP - 65

EP - 79

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -

Control Flow Analysis for BioAmbients

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this