2026-07-21T21:09:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:709 2024-03-06T11:06:51Z ddc:004 open_access

Context Dependent Analysis of BioAmbients Pilegaard, Henrik Riis-Nielson, Hanne Nielson, Flemming Static analysis abstract interpretation BioAmbients BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this paper is to extend the Flow Logic approach to static analysis with a couple of new techniques in order to give precise information about the behaviour of systems written in BioAmbients. Applying the development to a simple model of a cell releasing nutrients from food compunds we illustrate how the proposed analysis does indeed improve on previous efforts. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Henrik Pilegaard and Hanne Riis-Nielson and Flemming Nielson 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06161.6 urn:nbn:de:0030-drops-7093 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.6 eng https://creativecommons.org/licenses/by/4.0/legalcode