Graph Transformations
From MaRDI portal
Publication:5292592
Recommendations
- Adhesive high-level replacement systems: a new categorical framework for graph transformation
- Construction and properties of adhesive and weak adhesive high-level replacement categories
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
- Categorical frameworks for graph transformation and HLR systems based on the DPO approach
- Adhesivity with partial maps instead of spans
Cited in
(29)- String diagram rewrite theory III: Confluence with and without Frobenius
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Fundamentals of compositional rewriting theory
- scientific article; zbMATH DE number 7453087 (Why is no real title available?)
- Concurrency theorems for non-linear rewriting theories
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- Sticker systems
- Basic results for two types of high-level replacement systems
- Graph Transformations
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Adhesive high-level replacement systems: a new categorical framework for graph transformation
- Van Kampen colimits as bicolimits in Span
- A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
- Efficient conflict detection in graph transformation systems by essential critical pairs
- Confluence of graph rewriting with interfaces
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics
- Workshop on Petri Nets and Graph Transformations
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics
- Characterizing conflicts between rule application and rule evolution in graph transformation systems
- Synthesising CCS bisimulation using graph rewriting
- Construction and properties of adhesive and weak adhesive high-level replacement categories
- Amalgamation of domain specific languages with behaviour
- Adhesivity with partial maps instead of spans
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components
- Rule algebras for adhesive categories
- Towards algebraic high-level systems as weak adhesive HLR categories
- Categorical frameworks for graph transformation and HLR systems based on the DPO approach
This page was built for publication: Graph Transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5292592)
