Modelling Epigenetic Information Maintenance: A Kappa Tutorial

Authors:
Jean Krivine;Vincent Danos;Arndt Benecke
Affiliations:
Institut des Hautes Études Scientifiques & Institut de Recherche Interdisciplinaire - CNRS USR3078 - USTL, Bures-sur-Yvette, France 91440;University of Edinburgh,;Institut des Hautes Études Scientifiques & Institut de Recherche Interdisciplinaire - CNRS USR3078 - USTL, Bures-sur-Yvette, France 91440
Venue:
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Year:
2009

Citing 3
Cited 2

Rule-Based Modelling, Symmetries, Refinements

FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Investigation of a Biological Repair Scheme

Membrane Computing
Scalable simulation of cellular signaling networks

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems

Biochemical reaction rules with constraints

ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Multiple verification in complex biological systems: the bone remodelling case study

Transactions on Computational Systems Biology XIV

Quantified Score

Hi-index	0.00

Visualization

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.