Double-pushout rewriting in context: rule composition and parallel independence

DOI10.1007/978-3-030-23611-3_2zbMath1429.68091OpenAlexW2955560610MaRDI QIDQ2292966

Michael Löwe

Publication date: 6 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23611-3_2

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) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (2)

Patch Graph Rewriting ⋮ A generalized concurrent rule construction for double-pushout rewriting

This page was built for publication: Double-pushout rewriting in context: rule composition and parallel independence