Parallel Independence in Attributed Graph Rewriting - Université Grenoble Alpes
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2021

Parallel Independence in Attributed Graph Rewriting

Résumé

In order to define graph transformations by the simultaneous application of concurrent rules, we have adopted in previous work a structure of attributed graphs stable by unions. We analyze the consequences on parallel independence, a property that characterizes the possibility to resort to sequential rewriting. This property turns out to depend not only on the left-hand side of rules, as in algebraic approaches to graph rewriting, but also on their right-hand side. It is then shown that, of three possible definitions of parallel rewriting, only one is convenient in the light of parallel independence.
Fichier principal
Vignette du fichier
2102.02366v1.pdf (203.63 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03430188 , version 1 (16-11-2021)

Identifiants

Citer

Thierry Boy de La Tour. Parallel Independence in Attributed Graph Rewriting. Electronic Proceedings in Theoretical Computer Science, 2021, Proceedings 11th International Workshop on Computing with Terms and Graphs, 334, pp.62 - 77. ⟨10.4204/eptcs.334.5⟩. ⟨hal-03430188⟩
14 Consultations
31 Téléchargements

Altmetric

Partager

More