Embedding and Confluence of Graph Transformations with Negative Application Conditions

DOI10.1007/978-3-540-87405-8_12MaRDI QIDQ3540396zbMATH OpenOpenAlexFDO

Authors Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

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)

Recommendations

• M-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• Transformation systems with incremental negative application conditions
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
• Canonical derivations with negative application conditions

Cites work

• Conflict Detection for Graph Transformation with Negative Application Conditions
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
• Processes, Terms and Cycles: Steps on the Road to Infinity

Cited in

(7)

• Transformation systems with incremental negative application conditions
• Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
• M-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• Canonical derivations with negative application conditions
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Processes, Terms and Cycles: Steps on the Road to Infinity

Describes a project that uses

Uses Software

• AGG

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

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