Spatial Analysis of BioAmbients

Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard

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

    Abstract

    Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynamic behaviour of biological systems. Our focus is on BioAmbients, a variation of the ambient calculi developed for modelling mobility in computer systems. We present a static analysis for capturing the spatial structure of biological systems and we illustrate it on a few examples.
    Original languageEnglish
    Title of host publicationProceedings of Static Analysis Symposium 2004 (SAS'04)
    PublisherSpringer Verlag
    Publication date2004
    Pages69-83
    Publication statusPublished - 2004
    Event11th International Static Analysis Symposium - Verona, Italy
    Duration: 24 Aug 200428 Aug 2004

    Conference

    Conference11th International Static Analysis Symposium
    Country/TerritoryItaly
    CityVerona
    Period24/08/200428/08/2004

    Fingerprint

    Dive into the research topics of 'Spatial Analysis of BioAmbients'. Together they form a unique fingerprint.

    Cite this