Spatial analysis of BioAmbients

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3148, Issue , 2004, Pages 69-83

  Nielson, Hanne Riis ^a   Nielson, Flemming ^a   Pilegaard, Henrik ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL SYSTEMS; BIOMINERALIZATION; PATHOLOGY;

AMBIENT CALCULI; BIOAMBIENTS; DYNAMIC BEHAVIOURS; FORMAL CALCULI; SPATIAL ANALYSIS; SPATIAL STRUCTURE; SYSTEMS BIOLOGY;

STATIC ANALYSIS;

EID: 35048845165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27864-1_8     Document Type: Article

References (15)

1. M. Bugliesi, G. Castagna, and S. Crafa. Boxed Ambients. In Theoretical Aspects in Computer Science (TACS 2001), volume 2215 of Lecture Notes in Computer Science, pages 37-63. Springer, 2001.
2. L. Cardelli. Brane calculi. 2003. Available from http://www.luca.demon. co.uk.
3. L. Cardelli and A. D. Gordon. Mobile Ambients. In Foundations of Software Science and Computation Structures (FoSSaCS 1098), volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer, 1998.
4. C.Bodei, P.Degano, C. Priami, and N. Zannone. An enhanced cfa for security policies. In Proceedings of the Workshop on Issues on the Theory of Security (WITS'03) (co-located with ETAPS'03), 2003.
5. V. Danos and C. Laneve. Core formal molecular biology. In European Symposium on Programming (ESOP03), volume 2618. Springer Lecture Notes in Computer Science, 2004.
6. F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000), pages 352-364. ACM Press, 2000.
7. R. Milner. Communicating and Mobile Systems: The pi-Calculus. Cambridge University Press, 1999.
8. M. Nagasaki, S. Onami, S. Miyano, and Kitano H. Bio-calculus: Its concept and molecular interaction. Genome Informatics, 10:133-143, 1999.
9. F. Nielson, H. Riis Nielson, C.Priami, and D. Schuch da Rosa. Control Flow Analysis for BioAmbients. Proceedings of Bio Concur, to appear in ENTCS, 2004.
10. F. Nielson, H. Riis Nielson, and H. Seidl. A succinct solver for ALFP. Nordic Journal of Computing, 9:335-372, 2002.
11. Hanne Riis Nielson, Flemming Nielson, and Mikael Buchholtz. Security for Mobility. In Foundations of Security Analysis and Design II, volume 2946. Springer Lecture Notes in Computer Science, 2004.
12. C. Priami, A. Regev, W. Silverman, and E. Shapiro. Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
13. A. Regev. Computational system biology: A calculus for biomolecular knowledge. PhD thesis, Tel Aviv University, 2003.
14. A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Shapiro. BioAmbients: An abstraction for biological compartments. Theoretical Computer Science, to appear, 2004.
15. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the π-calculus process algebra. In Pacific Symposium of Biocomputing (PSB2001), pages 459-470, 2001.