A Biochemical Calculus Based on Strategic Graph Rewriting

Oana Andrei 1 Hélène Kirchner 1
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we present a higher-order calculus inspired by biochemical systems, based on port graph rewriting and strategic rewriting. The first-citizens of this calculus are molecular graphs, molecular graph rewrite rules, and their interactions. Thanks to the intrinsically concurrent nature of rewriting, computations may take place wherever it is possible and in parallel. In a complementary way, strategic port graph rewriting takes into account control on computations by allowing to control rewrite rules application.
Type de document :
Communication dans un congrès
The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria. 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00328536
Contributeur : Oana Andrei <>
Soumis le : vendredi 10 octobre 2008 - 10:25:10
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10
Document(s) archivé(s) le : mardi 9 octobre 2012 - 11:32:25

Fichier

shortcomm-ab08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00328536, version 1

Collections

Citation

Oana Andrei, Hélène Kirchner. A Biochemical Calculus Based on Strategic Graph Rewriting. The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria. 2008. 〈inria-00328536〉

Partager

Métriques

Consultations de la notice

244

Téléchargements de fichiers

146