Formal software specification with refinements and modules of typed graph transformation systems (Q1608315): Difference between revisions

@@ Property / describes a project that uses @@
+PROGRES
@@ Property / describes a project that uses: PROGRES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIEGO
@@ Property / describes a project that uses: DIEGO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of modules and their basic interconnections
+Normal rank
@@ Property / cites work @@
+Amalgamation of graph transformations: a synchronization mechanism
+Normal rank
@@ Property / cites work @@
+Q4222787
@@ Property / cites work: Q4222787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatic and semantic aspects of a module concept for graph transformation systems
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218129
@@ Property / cites work: Q4218129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941931
@@ Property / cites work: Q4941931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502818
@@ Property / cites work: Q4502818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284549
@@ Property / cites work: Q5284549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interleaving semantics of transformation units — A step into GRACE
+Normal rank
@@ Property / cites work @@
+Transformations of graph grammars
@@ Property / cites work: Transformations of graph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718136
@@ Property / cites work: Q3718136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023261
@@ Property / cites work: Q4023261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728879
@@ Property / cites work: Q2728879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222818
@@ Property / cites work: Q4222818 / rank @@
+Normal rank