Embedding and Confluence of Graph Transformations with Negative Application Conditions

DOI10.1007/978-3-540-87405-8_12zbMath1175.68227OpenAlexW1573340220MaRDI QIDQ3540396

Fernando Orejas, Leen Lambers, Ulrike Prange, Hartmut Ehrig

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_12

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs

Uses Software

• AGG

Cites Work

• Unnamed Item
• Unnamed Item
• Fundamentals of algebraic graph transformation
• Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Embedding and Confluence of Graph Transformations with Negative Application Conditions