Graphs for Core Molecular Biology

Vincent Danos, Cosimo Laneve

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationComputational Methods in Systems Biology
Subtitle of host publicationFirst International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings
EditorsCorrado Priami
PublisherSpringer Berlin Heidelberg
Number of pages13
ISBN (Electronic)978-3-540-36481-8
ISBN (Print)978-3-540-00605-3
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'Graphs for Core Molecular Biology'. Together they form a unique fingerprint.

Cite this