A tutorial on graph transformation
From MaRDI portal
Recommendations
Cited in
(19)- A tale of two graph models: a case study in wireless sensor networks
- Drags: a compositional algebraic framework for graph rewriting
- Fundamentals of algebraic graph transformation
- Graph transformation with incremental updates
- Lazy graph transformation
- A Unified Categorical Approach for Attributed Graph Rewriting
- Ugo Montanari and Graph Transformation
- Tutorial Introduction to Graph Transformation
- scientific article; zbMATH DE number 2016090 (Why is no real title available?)
- Interactive and automated proofs for graph transformations
- scientific article; zbMATH DE number 2087493 (Why is no real title available?)
- GMTE: a tool for graph transformation and exact/inexact graph matching
- Towards a notion of transaction in graph rewriting
- Formal Methods in Software and Systems Modeling
- scientific article; zbMATH DE number 7809761 (Why is no real title available?)
- Towards mechanised proofs in double-pushout graph transformation
- From double pushout grammars to hypergraph Lambek grammars with and without exponential modality
- Finding the right way to Rome: effect-oriented graph transformation
- Termination of graph transformation systems via generalized weighted type graphs
This page was built for publication: A tutorial on graph transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708180)
