Graphs for Core Molecular Biology

  • Vincent Danos
  • Cosimo Laneve
Conference paper

DOI: 10.1007/3-540-36481-1_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2602)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Vincent Danos
    • 1
  • Cosimo Laneve
    • 2
  1. 1.Équipe PPS, CNRS and University of Paris 7France
  2. 2.Department of Computer ScienceUniversity of BolognaItaly

Personalised recommendations