Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Oana Andrei Connect in order to contact the contributor
Submitted on : Friday, October 10, 2008 - 10:25:10 AM
Last modification on : Wednesday, February 2, 2022 - 3:51:53 PM
Long-term archiving on: : Tuesday, October 9, 2012 - 11:32:25 AM


Files produced by the author(s)


  • HAL Id : inria-00328536, version 1



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. ⟨inria-00328536⟩



Record views


Files downloads