Multi-amalgamation of rules with application conditions in -adhesive categories (Q5740374): Difference between revisions

@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Multi-Amalgamation in Adhesive Categories
@@ Property / cites work: Multi-Amalgamation in Adhesive Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation of graph transformations: a synchronization mechanism
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank