Towards Local Confluence Analysis for Amalgamated Graph Transformation
From MaRDI portal
Publication:2947211
DOI10.1007/978-3-319-21145-9_5zbMATH Open1321.68338OpenAlexW2174997495MaRDI QIDQ2947211FDOQ2947211
Authors: Ulrike Golas, Gabriele Taentzer 
Publication date: 22 September 2015
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-21145-9_5
Recommendations
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Amalgamation of graph transformations: a synchronization mechanism
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Confluence in data reduction: bridging graph transformation and kernelization
- Confluence in data reduction: bridging graph transformation and kernelization
- Confluence for graph transformations
- scientific article; zbMATH DE number 3907796
- On the Complexity of Local Graph Transformations
Cites Work
- Heroin epidemics, treatment and ODE modelling
- Compartmental modelling of social dynamics with generalised peer incidence
- Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
- Fundamentals of algebraic graph transformation
- Critical pairs in term graph rewriting
- Towards Local Confluence Analysis for Amalgamated Graph Transformation
- Parallel independence of amalgamated graph transformations applied to model transformation
- On termination of graph rewriting
Cited In (3)
Uses Software
This page was built for publication: Towards Local Confluence Analysis for Amalgamated Graph Transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2947211)
