scientific article; zbMATH DE number 4182847
From MaRDI portal
Publication:5748897
Recommendations
Cited in
(18)- Formal software specification with refinements and modules of typed graph transformation systems
- Model transformations as free constructions
- The Verigraph system for graph transformation
- Efficient graph rewriting and its implementation
- Combining graph transformation and algebraic specification into model transformation
- Towards certifiable implementation of graph transformation via relation categories
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Development of Correct Graph Transformation Systems
- scientific article; zbMATH DE number 139800 (Why is no real title available?)
- scientific article; zbMATH DE number 1218793 (Why is no real title available?)
- scientific article; zbMATH DE number 2079668 (Why is no real title available?)
- Algebraic high-level net transformation systems
- Algebra transformation systems as a unifying framework
- scientific article; zbMATH DE number 1418365 (Why is no real title available?)
- Parallelism in single-pushout graph rewriting
- Amalgamated graph transformations and their use for specifying AGG -- an algebraic graph grammar system
- Algebraic Graph Transformations with Inheritance
- Algebraic approach to single-pushout graph transformation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5748897)
