DPO Transformation with Open Maps

DOI10.1007/978-3-642-33654-6_14zbMath1367.68136OpenAlexW42361273MaRDI QIDQ2918982

Reiko Heckel

Publication date: 2 October 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33654-6_14

zbMATH Keywords

adhesive categoriesopen mapsdouble pushoutnegative application conditions

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 (1)

Moment Semantics for Reversible Rule-Based Systems

This page was built for publication: DPO Transformation with Open Maps