Control Flow Analysis for BioAmbients

Publication: Research - peer-reviewJournal article – Annual report year: 2007

View graph of relations

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 languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Publication date2007
Volume180
Issue3
Pages65-79
ISSN1571-0661
DOIs
StatePublished
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 3687391