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. © Springer-Verlag 2004.
Cite
CITATION STYLE
Nielson, H. R., Nielson, F., & Pilegaard, H. (2004). Spatial analysis of BioAmbients. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3148, 69–83. https://doi.org/10.1007/978-3-540-27864-1_8
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
