Modelling Epigenetic Information Maintenance: A Kappa Tutorial

Jean Krivine, Vincent Danos, Arndt Benecke

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


The purpose of this tutorial is to explain and illustrate an approach to the quantitative modelling of molecular interaction networks which departs from the usual notion of (bio-) chemical reaction. This tutorial is self-contained and supposes no familiarity with molecular biology.
Original languageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publication21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
EditorsAhmed Bouajjani, Oded Maler
PublisherSpringer Berlin Heidelberg
Number of pages16
ISBN (Electronic)978-3-642-02658-4
ISBN (Print)978-3-642-02657-7
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Fingerprint Dive into the research topics of 'Modelling Epigenetic Information Maintenance: A Kappa Tutorial'. Together they form a unique fingerprint.

Cite this