From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
From MaRDI portal
Publication:3522863
DOI10.1007/978-3-540-75414-5_8zbMATH Open1149.68043OpenAlexW1602379036MaRDI QIDQ3522863FDOQ3522863
Authors: Ulrike Prange, Hartmut Ehrig 
Publication date: 4 September 2008
Published in: Algebraic Informatics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75414-5_8
Recommendations
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Adhesive high-level replacement systems: a new categorical framework for graph transformation
- On term graphs as an adhesive category
- Towards algebraic high-level systems as weak adhesive HLR categories
- Graph Transformation by Computational Category Theory
- Categorical frameworks for graph transformation and HLR systems based on the DPO approach
- scientific article; zbMATH DE number 4114059
- A lattice-theoretical perspective on adhesive categories
- Refined Graph Rewriting in Span-Categories
- Special issue: Categorical approaches to computing by graph transformation
Cites Work
- Title not available (Why is that?)
- Handbook of Graph Grammars and Computing by Graph Transformation
- Handbook of Graph Grammars and Computing by Graph Transformation
- Graph Transformations
- Foundations of Software Science and Computation Structures
- Fundamentals of algebraic graph transformation
- Title not available (Why is that?)
- Parallelism and concurrency in high-level replacement systems
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (18)
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Graph and model transformation. General framework and applications
- \(\mathcal M, \mathcal N\)-adhesive transformation systems
- Title not available (Why is that?)
- Collagories: relation-algebraic reasoning for gluing constructions
- Towards certifiable implementation of graph transformation via relation categories
- Collagories for relational adhesive rewriting
- Adhesive high-level replacement systems: a new categorical framework for graph transformation
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
- On the Construction of Transformation Steps in the Category of Multiagent Systems
- Title not available (Why is that?)
- Adhesivity with partial maps instead of spans
- An institution for graph transformation
- Subobject transformation systems
- Categorical frameworks for graph transformation and HLR systems based on the DPO approach
- Title not available (Why is that?)
- Model transformations as free constructions
This page was built for publication: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522863)
