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