Graph Transformation by Computational Category Theory

DOI10.1007/978-3-642-17322-6_3MaRDI QIDQ3059706zbMATH OpenOpenAlexFDO

Authors Mark Minas, H. J. Schneider

Publication date 26 November 2010

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-17322-6_3

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Special issue: Categorical approaches to computing by graph transformation
• Categorical Foundations of Distributed Graph Transformation
• Compositionality in graph transformation
• Categorial graphs
• Generalised compositionality in graph transformation
• Towards certifiable implementation of graph transformation via relation categories
• scientific article; zbMATH DE number 1796068
• scientific article; zbMATH DE number 4114059
• Refined Graph Rewriting in Span-Categories
• Graph rewriting in span-categories

Cites work

• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
• Adaptive Star Grammars
• Algebraic approach to single-pushout graph transformation
• Algorithms and Data Structures
• Concepts and realization of a diagram editor generator based on hypergraph transformation
• Formal Methods in Software and Systems Modeling
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 4049096 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Introduction to algorithms.

Cited in

(15)

• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• Towards certifiable implementation of graph transformation via relation categories
• Refined Graph Rewriting in Span-Categories
• CATEGORIFICATION VIA EQUIPPED GRAPHS
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• Categorical Foundations of Distributed Graph Transformation
• scientific article; zbMATH DE number 1995117 (Why is no real title available?)
• Hierarchical Graph Transformation Revisited
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• CatLib
• Computational category-theoretic rewriting
• Computational Category-Theoretic Rewriting
• On categorical graph grammars integrating structural transformations and operations on labels
• Termination of graph transformation systems using weighted subgraph counting

Describes a project that uses

Uses Software

• PROGRES
• Graph transformation benchmarks
• AGG
• DiaGen

This page was built for publication: Graph Transformation by Computational Category Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3059706)