Confluence up to garbage in graph transformation

DOI10.1016/J.TCS.2021.06.010MaRDI QIDQ2049983zbMATH OpenOpenAlexFDO

Authors Graham Campbell, Detlef Plump

Publication date 27 August 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2101.01842

zbMATH Keywords

confluencegraph transformationcritical pair analysisgraph languagessubcommutativity

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Confluence up to garbage
• Confluence for graph transformations
• Confluence of graph rewriting with interfaces
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 2016074

Cites work

• scientific article; zbMATH DE number 1638661 (Why is no real title available?)
• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• scientific article; zbMATH DE number 3548465 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
• Confluence modulo equivalence with invariants in constraint handling rules
• Confluence up to garbage
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Double-pushout graph transformation revisited
• Efficient conflict detection in graph transformation systems by essential critical pairs
• Exploring conflict reasons for graph transformation systems
• Fundamentals of algebraic graph transformation
• Initial conflicts and dependencies: critical pairs revisited
• On theories with a combinatorial definition of 'equivalence'
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Reasoning about graph programs
• Sequencing Jobs to Minimize Total Weighted Completion Time Subject to Precedence Constraints
• Sequencing with Series-Parallel Precedence Constraints
• Structured gamma
• The algorithm design manual
• Topology of series-parallel networks
• \(\mathcal M, \mathcal N\)-adhesive transformation systems
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence

Cited in

(3)

• Confluence up to garbage
• Adjunction for Garbage Collection with Application to Graph Rewriting
• Processes, Terms and Cycles: Steps on the Road to Infinity

Describes a project that uses

Uses Software

• Stony Brook
• GP 2

This page was built for publication: Confluence up to garbage in graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2049983)