scientific article

zbMath1106.68056MaRDI QIDQ3416071

Ulrike Prange, Hartmut Ehrig, Annegret Habel, Julia Padberg

Publication date: 19 January 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graph transformationadhesive categoriesadhesive HLR categorieshigh-level replacement systemscritical pair lemmalocal confluence of transformations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Towards Certifiable Implementation of Graph Transformation via Relation Categories ⋮ Graph Transformation Units – An Overview ⋮ Transformations in Reconfigurable Place/Transition Systems ⋮ Explicit State Model Checking for Graph Grammars ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ An Algorithm for Approximating the Satisfiability Problem of High-level Conditions ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories

This page was built for publication: