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

    Conference

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

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

    Cite this