Control Flow Analysis for BioAmbients

Electronic Notes in Theoretical Computer Science

Volumn 180, Issue 3, 2007, Pages 65-79

  Nielson, Flemming ^a   Riis Nielson, Hanne ^a   Priami, Corrado ^b   Rosa, Debora ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

BioAmbients; Control flow analysis; gene regulation

Indexed keywords

BIOAMBIENTS; CONTROL FLOW ANALYSIS; GENE REGULATION;

FLOW CONTROL; GENES; STATIC ANALYSIS;

BIOLOGICAL SYSTEMS;

EID: 34447264060     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.041     Document Type: Article

References (33)

1. Spad signaling pathway database. 2000
2. Bader G.D., Donaldson I., Wolting C., Ouellette B.F., Pawson T., and Hogue C.W. Bind-the biomolecular interaction network database. Nucleic Acids Research 29 1 (2001) 242-245
3. Bodei C., Degano P., Nielson F., and Riis Nielson H. Static analysis for the π-calculus with applications to security. Information and Computation 168 (2001) 68-92
4. Bugliesi M., Castagna G., and Crafa S. Boxed Ambients. Theoretical Aspects in Computer Science. (TACS 2001). Lecture Notes in Computer Science volume 2215 (2001), Springer 37-63
5. L. Cardelli. Bioware languages. In Computer Systems - Papers for Roger Needham. 2003
6. Cardelli L., and Gordon A.D. Mobile Ambients. Foundations of Software Science and Computation Structures. (FoSSaCS 1998). Lecture Notes in Computer Science volume 1378 (1998), Springer 140-155
7. V. Danos and C. Laneve. Core formal molecular biology. In European Symposium on Programming (ESOP03), to appear, 2003
8. Degano P., and Priami C. Enhanced operational semantics: A tool for describing and analysing concurrent systems. ACM Computing Surveys 33 2 (2001) 135-176
9. Eilbeck K., Brass A., Paton N., and Hodgman C. Interact: an object oriented protein-protein interaction database. Intelligent Systems for Molecular Biology, volume 7, Palo Alto (1999), AAAI Press 87-94
10. Fontana W., and Buss L.W. The arrival of the fittest: Toward a theory of biological organization. Bull. Math. Biol. 56 (1994) 1-64
11. Igarashi T., and Kaminuma T. Development of a cell signalling networks database. In: Altman R.B., Dunker A.K., Hunter L., and Klein T.E. (Eds). Proccedings of the Pacific Symposium of Biocomputing '97, Singapore (1997), World Scientific Press 187-197
12. Karp P.D., Krummenacker M., Paley S., and Wagg J. Integrated pathway/genome databases and their role in drug discovery. Trends in Biotechnology 17 7 (1999) 275-281
13. Kolpakov F.A., Ananko E.A., Kolesov G.B., and Kolchanov N.A. Genenet: a gene network database and its automated visualization. Bioinformatics 14 8 (1998) 529-537
14. Levi F., and Sangiorgi D. Controlling interference in ambients. Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (POPL 2000) (2000), ACM Press 352-364
15. Milner R. Communicating and Mobile Systems: The pi-Calculus (1999), Cambridge University Press
16. Nagasaki M., Onami S., Miyano S., and Kitano H. Bio-calculus: Its concept and molecular interaction. Genome Informatics 10 (1999) 133-143
17. Nielson F., Riis Nielson H., and Hankin C. Principles of Program Analysis (1999)
18. Nielson F., Riis Nielson H., and Hansen R.R. Validating firewalls using flow logics. Theoretical Computer Science 283 2 (2002) 381-418
19. Nielson F., Riis Nielson H., and Seidl H. A succinct solver for ALFP. Nordic Journal of Computing 9 (2002) 335-372
20. H. Riis Nielson, F. Nielson, and M. Buchholtz. Security for mobility. Technical Report WP6-IMM-I01-Int-001, DEGAS, 2002
21. Nottegar C., Priami C., and Degano P. Performance evaluation of mobile processes via abstract machines. IEEE Transactions on Software Engineering 27 10 (2001)
22. Ogata H., Goto S., Sato K., Fujibuchi W., Bono H., and Kanehisa M. Kegg: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research 27 1 (2000) 29-34
23. Priami C. Language-based performance prediction for distributed and mobile systems. INFCTRL: Information and Computation (formerly Information and Control) 175 (2002)
24. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
25. A. Regev. Computational system biology: A calculus for biomolecular knowledge. PhD thesis, Tel Aviv University, 2003
26. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E. BioAmbients: An abstraction for biological compartments. Manuscript available from (2003). http://www.luca.demon.co.uk/
27. Regev A., and Shapiro E. Cells as computations. Nature 419 (2002) 343
28. 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
29. Sanchez C., Lachaize C., Janody F., Bellon B., Roder L., Euzenat J., Rechenmann F F., and Jacq B. Grasping at molecular interactions and genetic networks in drosophila melanogaster using flynets, an internet database. Nucleic Acids Research 27 1 (1999) 89-94
30. Selkov E., Grechkin Y., Mikhailova N., and Selkov E. Mpw: the metabolic pathways database. Nucleic Acids Research 26 1 (1998) 43-45
31. van Helden J., Naim A., Mancuso R., Eldridge M., Wernisch L., Gilbert D., and Wodak S.J. Representing and analysing molecular and cellular function using the computer. Biological Chemistry 381 9-10 (2000) 921-935
32. Wingender E., Chen X., Fricke E., Geffers R., Hehl R., Liebich I., Krull M., Matys V., Michael H., Ohnhauser R., Pruss M., Schacherer F., Thiele S., and Urbach S. The transfac system on gene expression regulation. Nucleic Acids Research 29 1 (2001) 281-283
33. Xenarios I., Fernandez E., Salwinski L., Duan X.J., Thompson M.J., Marcotte E.M., and Eisenberg D. Dip: the database of interacting proteins: 2001 update. Nucleic Acids Research 29 1 (2001) 239-241