On the essence of parallel independence for the double-pushout and sesqui-pushout approaches

DOI10.1007/978-3-319-75396-6_1zbMath1383.68042OpenAlexW2786550720MaRDI QIDQ1708174

Michael Löwe, Leila Ribeiro, Andrea Corradini, Leonardo Marques Rodrigues, Dominique Duval, Rodrigo Machado, Jonas Santos Bezerra, Andrei Costa, Guilherme Grochau Azzi

Publication date: 4 April 2018

Full work available at URL: http://hdl.handle.net/11568/983185

zbMATH Keywords

graph transformationparallel independencecategories of typed graphsdouble-pushout transformationVerigraph

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (8)

Unnamed Item ⋮ Unnamed Item ⋮ Parallel rewriting of attributed graphs ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ Parallel coherent graph transformations ⋮ Algebraic graph rewriting with controlled embedding ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

Uses Software

• AGG
• GROOVE
• Verigraph

This page was built for publication: On the essence of parallel independence for the double-pushout and sesqui-pushout approaches