Skip to Main content Skip to Navigation
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

https://hal.inria.fr/inria-00328536
Contributor : Oana Andrei Connect in order to contact the contributor
Submitted on : Friday, October 10, 2008 - 10:25:10 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Tuesday, October 9, 2012 - 11:32:25 AM

File

shortcomm-ab08.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

273

Files downloads

182