Categorical Foundations of Distributed Graph Transformation

DOI10.1007/11841883_16zbMath1157.68039OpenAlexW1530502544MaRDI QIDQ3541961

Ulrike Prange, Fernando Orejas, Hartmut Ehrig

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11841883_16

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)

Related Items

Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories