Patch Graph Rewriting

DOI10.1007/978-3-030-51372-6_8zbMath1502.68157arXiv2003.06488OpenAlexW3011174127MaRDI QIDQ5100730

Roy Overbeek, Jörg Endrullis

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

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

zbMATH Keywords

embeddinggraph rewritingvisual language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}

Uses Software

• AGREE
• Grez

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Parallelism and concurrency of graph manipulations
• The PBPO graph transformation approach
• Double-pushout rewriting in context: rule composition and parallel independence
• Drags: a compositional algebraic framework for graph rewriting
• Double-pushout graph transformation revisited
• Local Termination: theory and practice
• AGREE – Algebraic Graph Rewriting with Controlled Embedding
• Termination Analysis for Graph Transformation Systems
• Graph Path Orderings
• Proving non-termination by finite automata
• Programming Languages and Systems
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Patch Graph Rewriting