Spatial Analysis of BioAmbients

Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard

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


    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
    Publication statusPublished - 2004
    EventProceedings of Static Analysis Symposium 2004 (SAS'04) -
    Duration: 1 Jan 2004 → …


    ConferenceProceedings of Static Analysis Symposium 2004 (SAS'04)
    Period01/01/2004 → …


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

    Cite this