Investigation of a biological repair scheme

Vincent Danos 1 Jérôme Feret 2 Walter Fontana 3 Russell Harmer 4 Jean Krivine 3
2 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : This note details an interaction pattern for the allocation of a scarce biological resource where and when it is needed. It is entirely based on a mass action stochastic dynamics. Domain-domain binding plays a crucial role in the design of the pattern which we therefore present using a rule-based approach where binding is an explicit primitive. We also a use a series of refinements, starting from a very simple interaction set, which we feel gives an interesting and intuitive rationale for the working of the final repair scheme.
Type de document :
Communication dans un congrès
Paun, G. the 9th Workshop on Membrane Computing - WMC9, Jul 2008, Edinburgh, United Kingdom. Springer, 5391, pp.1-12, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-540-95885-7_1〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00528319
Contributeur : Jérôme Feret <>
Soumis le : jeudi 21 octobre 2010 - 15:28:00
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Lien texte intégral

Identifiants

Collections

Citation

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Investigation of a biological repair scheme. Paun, G. the 9th Workshop on Membrane Computing - WMC9, Jul 2008, Edinburgh, United Kingdom. Springer, 5391, pp.1-12, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-540-95885-7_1〉. 〈inria-00528319〉

Partager

Métriques

Consultations de la notice

195