Towards Local Confluence Analysis for Amalgamated Graph Transformation

DOI10.1007/978-3-319-21145-9_5zbMath1321.68338OpenAlexW2174997495MaRDI QIDQ2947211

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

zbMATH Keywords

critical pair analysisparallel independenceamalgamated graph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Towards Local Confluence Analysis for Amalgamated Graph Transformation ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality

Uses Software

• Fujaba

Cites Work

• Fundamentals of algebraic graph transformation
• Heroin epidemics, treatment and ODE modelling
• Towards Local Confluence Analysis for Amalgamated Graph Transformation
• Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
• Critical pairs in term graph rewriting
• COMPARTMENTAL MODELLING OF SOCIAL DYNAMICS WITH GENERALISED PEER INCIDENCE
• Multi-amalgamation of rules with application conditions in -adhesive categories
• On termination of graph rewriting

This page was built for publication: Towards Local Confluence Analysis for Amalgamated Graph Transformation