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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-27864-1_8 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
spatial analysis,biological systems,programming language,system biology,static analysis | Computer science,Static analysis,Systems biology,Theoretical computer science,Spatial structure,Ambient calculus | Conference |
Volume | ISSN | Citations |
3148 | 0302-9743 | 21 |
PageRank | References | Authors |
0.90 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hanne Riis Nielson | 1 | 1719 | 153.77 |
flemming nielson | 2 | 1769 | 172.05 |
henrik pilegaard | 3 | 100 | 7.73 |