Graphs for Core Molecular Biology
- Cite this paper as:
- Danos V., Laneve C. (2003) Graphs for Core Molecular Biology. In: Priami C. (eds) Computational Methods in Systems Biology. CMSB 2003. Lecture Notes in Computer Science, vol 2602. Springer, Berlin, Heidelberg
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.