Skip to Main content Skip to Navigation
Journal articles

Parallel rewriting of attributed graphs

Abstract : Some computations can be elegantly presented as the parallel or simultaneous application of rules. This is the case of cellular automata and of simultaneous assignments in Python. In both cases the expected result cannot be obtained by a sequential application of rules. A general framework of attributed graph transformations is proposed where such computations can be expressed and analyzed. Determinism is achieved by an exhaustive parallel application of rules, as in cellular automata that are shown to have a straightforward representation in this framework. A more concise parallel transformation is also proposed, where some applications of rules can be ignored thanks to their symmetries, while preserving determinism. Parallel transformations are then used to characterize the property of parallel independence.
Document type :
Journal articles
Complete list of metadata

https://hal.univ-grenoble-alpes.fr/hal-03430149
Contributor : Thierry Boy de la Tour Connect in order to contact the contributor
Submitted on : Friday, November 19, 2021 - 4:57:39 PM
Last modification on : Saturday, November 20, 2021 - 3:49:05 AM

File

hal-version.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Thierry Boy de la Tour, Rachid Echahed. Parallel rewriting of attributed graphs. Theoretical Computer Science, Elsevier, 2020, 848, pp.106 - 132. ⟨10.1016/j.tcs.2020.09.025⟩. ⟨hal-03430149⟩

Share

Metrics

Les métriques sont temporairement indisponibles