Context Dependent Analysis of BioAmbients

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    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.
    Original languageEnglish
    Title of host publicationEmerging Aspects of Abstract Interpretation 2006
    Publication date2006
    Publication statusPublished - 2006

    Cite this

    Pilegaard, H., Nielson, F., & Nielson, H. R. (2006). Context Dependent Analysis of BioAmbients. In Emerging Aspects of Abstract Interpretation 2006 http://www2.imm.dtu.dk/pubdb/p.php?4809