Graphs for Core Molecular Biology
A graphic language—the graphic κ calculus—modeling protein interactions at the domain level is introduced. Complexation, activation and mixed forms of interaction are expressed as graph rewriting rules. A compilation in a low-level graph rewriting calculus, called mobileκ, is given and shown to be correct up to some suitable notion of observational equivalence. This intermediate language is of independent interest and can be easily implemented in π-like calculi.
Unable to display preview. Download preview PDF.
-  Marc Chiaverini and Vincent Danos. A core modeling language for the working molecular biologist. Communication to the International Workshop on Computational Methods in Systems Biology, 2003. 34Google Scholar
- Vincent Danos and Cosimo Laneve. Core formal molecular biology. To appear in Proceedings of ESOP 2003-European Symposium on Programming, Lecture Notes in Computer Science, Springer Verlag, 2003. 34, 38Google Scholar
- Reinhard Diestel. Graph Theory. Springer, New-York, 2000. 41Google Scholar
- 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. 35Google Scholar
- 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. 34, 35Google Scholar
- 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. 34Google Scholar
- H. Lin. An interactive proof tool for process algebras. In Alain Finkel and Matthias Jantzen, editors, Proceedings of Symposion on Theoretical Aspects of Computer Science (STACS’ 92), volume 577 of LNCS, pages 617–618, Berlin, Germany, February 1992. Springer. 35Google Scholar
- Masao Nagasaki, Shuichi Onami, Satoru Miyano, and Hiroaki Kitano. Biocalculus: Its concept and molecular interaction. Genome Informatics, 10:133–143, 1999. 34Google Scholar
- Corrado Priami, Aviv Regev, Ehud Shapiro, and William Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 2001. in press. 34Google Scholar
- Aviv Regev and Ehud Shapiro. Cells as computation. Nature, 419, September 2002. 34Google Scholar
- Aviv Regev, William Silverman, and Ehud Shapiro. Representation and simulation of biochemical processes using the π-calculus process algebra. In R. B. Altman, A. K. Dunker, L. Hunter, and T. E.T Klein, editors, Pacific Symposium on Biocomputing, volume 6, pages 459–470, Singapore, 2001. World Scientific Press. 34Google Scholar
- Björn Victor and Faron Moller. The Mobility Workbench-a tool for the π-calculus. In David Dill, editor, CAV’94: Computer Aided Verification, volume 818 of Lecture Notes in Computer Science, pages 428–440. Springer-Verlag, 1994. 35Google Scholar