Towards Local Confluence Analysis for Amalgamated Graph Transformation

DOI10.1007/978-3-319-21145-9_5MaRDI QIDQ2947211zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

amalgamated graph transformationcritical pair analysisparallel independence

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

• Compartmental modelling of social dynamics with generalised peer incidence
• Critical pairs in term graph rewriting
• Fundamentals of algebraic graph transformation
• Heroin epidemics, treatment and ODE modelling
• Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
• On termination of graph rewriting
• Parallel independence of amalgamated graph transformations applied to model transformation
• Towards Local Confluence Analysis for Amalgamated Graph Transformation

Cited in

(3)

• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
• Towards Local Confluence Analysis for Amalgamated Graph Transformation
• Processes, Terms and Cycles: Steps on the Road to Infinity

Describes a project that uses

Uses Software

• Fujaba

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)