Investigation of a biological repair scheme

Vincent Danos 1 Jérôme Feret 2 Walter Fontana 3 Russell Harmer 4 Jean Krivine 3
1 LFCS - Laboratory for the Foundations of Computer Science [Edinburgh]
2 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
3 HMS - Harvard Medical School [Boston]
4 PPS - Preuves, Programmes et Systèmes
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 : mardi 17 avril 2018 - 11:26:27

Lien texte intégral

openaccess

Identifiants

Collections

INRIA | PPS | PSL | USPC

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

187

Contact


archive-ouverte@inria.fr