Modelling epigenetic information maintenance a Kappa tutorial

Jean Krivine 1, * Vincent Danos 2 Arndt Benecke 3
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
Computer Aided Verification, 2009, Grenoble, France. Springer-Verlag, 5643, pp.17-32, 2009, LNCS
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00692430
Contributeur : Jean Krivine <>
Soumis le : lundi 30 avril 2012 - 13:20:49
Dernière modification le : mardi 29 novembre 2016 - 14:46:43
Document(s) archivé(s) le : lundi 26 novembre 2012 - 16:00:23

Fichier

Kri_etal09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00692430, version 1

Collections

Citation

Jean Krivine, Vincent Danos, Arndt Benecke. Modelling epigenetic information maintenance a Kappa tutorial. Computer Aided Verification, 2009, Grenoble, France. Springer-Verlag, 5643, pp.17-32, 2009, LNCS. 〈hal-00692430〉

Partager

Métriques

Consultations de
la notice

168

Téléchargements du document

104