| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Higher-Order Graph Calculus for Autonomic Computing
Abstract : In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We argue that this formalism is suitable for modeling autonomic systems and briefly illustrate its expressivity for modeling properties of such systems.
https://hal.inria.fr/inria-00328554
Contributor : Oana Andrei Connect in order to contact the contributor
Submitted on : Tuesday, November 18, 2008 - 12:19:12 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Saturday, November 26, 2016 - 2:40:14 AM
Contributor : Oana Andrei Connect in order to contact the contributor
Submitted on : Tuesday, November 18, 2008 - 12:19:12 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Saturday, November 26, 2016 - 2:40:14 AM
File
hal-calculusforautonomic.pdf
Files produced by the author(s)