Modelling epigenetic information maintenance a Kappa tutorial

Jean Krivine 1, * Vincent Danos 2 Arndt Benecke 3
* Corresponding author
3 IHES
IHES - Institut des Hautes Etudes Scientifiques, IRI - Institut de Recherche Interdisciplinaire [Villeneuve d'Ascq]
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. We shall use a modelling language called Kappa but much of what we will present equally applies to the larger family of rule-based modelling frameworks -and in particular to the BNG language.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00692430
Contributor : Jean Krivine <>
Submitted on : Monday, April 30, 2012 - 1:20:49 PM
Last modification on : Thursday, February 21, 2019 - 10:34:10 AM
Long-term archiving on: Monday, November 26, 2012 - 4:00:23 PM

File

Kri_etal09.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00692430, version 1

Citation

Jean Krivine, Vincent Danos, Arndt Benecke. Modelling epigenetic information maintenance a Kappa tutorial. Computer Aided Verification, 2009, Grenoble, France. pp.17-32. ⟨hal-00692430⟩

Share

Metrics

Record views

304

Files downloads

263