Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403): Difference between revisions

@@ Property / cites work @@
+Towards Verifying Model Transformations
@@ Property / cites work: Towards Verifying Model Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Bisimulation verification using the up to techniques
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
+Normal rank
@@ Property / cites work @@
+Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
+Normal rank