Spatial Analysis of BioAmbients

Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard

AbstractProgramming 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.
TypeConference paper [With referee]
ConferenceProceedings of Static Analysis Symposium 2004 (SAS'04)
EditorsRoberto Giacobazzi
Year2004    Month August    Vol. 3148    pp. 69-83
PublisherSpringer Verlag
SeriesLecture Notes in Computer Science
ISBN / ISSN3-540-22791-1
Electronic version(s)[pdf]
Publication linkhttp://www.springerlink.com/app/home/issue.asp?wasp=56we0cgmwp6rtl8f4jf3&referrer=nav&nav_page_all.x=1&absolutepage=1&pagecount=2&backto=journal,156,1837;linkingpublicationresults,1:105633,1;
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering