Core formal molecular biology

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

Volumn 2618, Issue , 2003, Pages 302-318

  Danos, Vincent ^a   Laneve, Cosimo ^b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; MOLECULAR BIOLOGY;

BISIMULATIONS; PHYSICAL CONNECTIONS; PI CALCULUS;

MODELING LANGUAGES;

EID: 35248870587     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36575-3_21     Document Type: Article

References (18)

1. Roberto Amadio, Ilaria Castellani, and Davide Sangiorgi. On bisimulations for the asynchronous π-calculus. Theoretical Computer Science, 195(2):291-324, 1998.
2. Marc Chiaverini and Vincent Danos. A formalism for Kohn's molecular map. In Proceedings of International Workshop on Computational Methods in Systems Biology, LNCS. Springer-Verlag, 2003.
3. E. M. Clarke, E. Allen Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
4. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
5. Vincent Danos and Cosimo Laneve. Graphs for formal molecular biology. In Proceedings of International Workshop on Computational Methods in Systems Biology, LNCS. Springer-Verlag, 2003.
6. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, and Kemal Sonmez. Pathway logic: Symbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, pages 400-412, January 2002. To appear.
7. Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), 1996.
8. Ronojoy Ghosh and Claire J. Tomlin. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model? In Proceedings of HSCC 2001, volume 2034 of LNCS, pages 232-246. Springer, 2001.
9. Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM (JACM), 32(1):137-161, 1985.
10. Kurt W. Kohn. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell, n. 10:2703-2734, 1999.
11. Ron Maimon and Sam Browning. Diagrammatic notation and computational structure of gene networks. In Proceedings of the 2nd International Conference on Systems Biology, 2001.
12. Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Nineteenth Colloquium on Automata, Languages and Programming (ICALP) (Wien, Austria), volume 623 of LNCS, pages 685-695. Springer, 1992.
13. Masao Nagasaki, Shuichi Onami, Satoru Miyano, and Hiroaki Kitano. Bio-calculus: Its concept and molecular interaction. Genome Informatics, 10:133-143, 1999.
14. G. Priami, A. Regev, E. Shapiro, and W. Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
15. A. Regev and E. Shapiro. Cells as computation. Nature, 419, September 2002.
16. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the π-calculus process algebra. In R. B. Altman, A. K. Dunker, L. Hunter, and T. E. Klein, editors, Pacific Symposium on Biocomputing, volume 6, pages 459-470, Singapore, 2001. World Scientific Press.
17. Birgit Schoeberl, Claudia Eichler-Jonsson, Ernst-Dieter Gilles, and Gertraud Müller. Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology, 20:370-375, 2002.
18. D. Thieffry and R. Thomas. Qualitative analysis of gene networks. In R. B. Altman, A. K. Dunker, L. Hunter, and T. E. Klein, editors, Pacific Symposium on Biocomputing, volume 3, pages 77-88, Singapore, 1998. World Scientific Press.