Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986): Difference between revisions

@@ Property / cites work @@
+Graph-based specification of access control policies
+Normal rank
@@ Property / cites work @@
+Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
+Normal rank
@@ Property / cites work @@
+Initial conflicts and dependencies: critical pairs revisited
+Normal rank
@@ Property / cites work @@
+On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
+Normal rank
@@ Property / cites work @@
+Conflict Detection for Graph Transformation with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Local Confluence for Rules with Nested Application Conditions
+Normal rank
@@ Property / cites work @@
+ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
+Normal rank
@@ Property / cites work @@
+Initial Conflicts for Transformation Rules with Nested Application Conditions
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical pairs in term graph rewriting
@@ Property / cites work: Critical pairs in term graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Confluence of Graph Rewriting with Interfaces
@@ Property / cites work: Confluence of Graph Rewriting with Interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Granularity of Conflicts and Dependencies in Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
+Normal rank
@@ Property / cites work @@
+Q3751030
@@ Property / cites work: Q3751030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222796
@@ Property / cites work: Q4222796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Tableau-Based Reasoning for Graph Properties
@@ Property / cites work: Tableau-Based Reasoning for Graph Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Reactive Systems
@@ Property / cites work: Conditional Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904140
@@ Property / cites work: Q4904140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416077
@@ Property / cites work: Q3416077 / rank @@
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Symbolic Model Generation for Graph Properties
@@ Property / cites work: Symbolic Model Generation for Graph Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
+Normal rank
@@ Property / cites work @@
+Towards Local Confluence Analysis for Amalgamated Graph Transformation
+Normal rank
@@ Property / cites work @@
+Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5--6, 2016. Proceedings
+Normal rank