Spatial Analysis of BioAmbients |
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
|
| 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. |
| Type | Conference paper [With referee] |
| Conference | Proceedings of Static Analysis Symposium 2004 (SAS'04) |
| Editors | Roberto Giacobazzi |
| Year | 2004 Month August Vol. 3148 pp. 69-83 |
| Publisher | Springer Verlag |
| Series | Lecture Notes in Computer Science |
| ISBN / ISSN | 3-540-22791-1 |
| Electronic version(s) | [pdf] |
| Publication link | http://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 |