Canonical derivations for high-level replacement systems

DOI10.1007/3-540-57787-4_10zbMath1494.68110OpenAlexW1523099581MaRDI QIDQ5096280

Hartmut Ehrig, Gabriele Taentzer, Hans-Joerg Kreowski

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-57787-4_10

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items

Locating the contractum in the double pushout approach ⋮ The contractum in algebraic graph rewriting

Cites Work

• Foundations of rule-based design of modular systems
• Pushout-Properties: An analysis of gluing constructions for graphs
• Transformations of structures: An algebraic approach
• Parallelism and concurrency in high-level replacement systems
• Algebraic high-level net transformation systems
• Abstract graph derivations in the double pushout approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item