Modelling Epigenetic Information Maintenance: A Kappa Tutorial

Jean Krivine, Vincent Danos, Arndt Benecke

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

Abstract

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
Pages17-32
Number of pages16
Volume5643
ISBN (Electronic)978-3-642-02658-4
ISBN (Print)978-3-642-02657-7
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume5643

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

Cite this