Initial Conflicts for Transformation Rules with Nested Application Conditions

DOI10.1007/978-3-030-51372-6_7zbMath1502.68156arXiv2005.05901OpenAlexW3038088247MaRDI QIDQ5100729

Fernando Orejas, Leen Lambers

Publication date: 1 September 2022

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

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

zbMATH Keywords

critical pairsconflictsgraph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Extensive, distributive, and adhesive categories (18B50)

Related Items (2)

Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Initial conflicts and dependencies: critical pairs revisited
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
• Graph-based specification of access control policies
• Fundamentals of algebraic graph transformation
• ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
• Confluence of Graph Rewriting with Interfaces
• Tableau-Based Reasoning for Graph Properties
• Development of Correct Graph Transformation Systems
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Correctness of high-level transformation systems relative to nested conditions
• Local Confluence for Rules with Nested Application Conditions
• Granularity of Conflicts and Dependencies in Graph Transformation Systems
• Symbolic Model Generation for Graph Properties
• Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

This page was built for publication: Initial Conflicts for Transformation Rules with Nested Application Conditions