Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375): Difference between revisions

@@ Property / cites work @@
+Amalgamation of graph transformations: a synchronization mechanism
+Normal rank
@@ Property / cites work @@
+Q2736360
@@ Property / cites work: Q2736360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037314
@@ Property / cites work: Q4037314 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Parallel and distributed derivations in the single-pushout approach
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency of graph manipulations
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushout-complements and basic concepts of grammars in toposes
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128028
@@ Property / cites work: Q4128028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785985
@@ Property / cites work: Q3785985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205088
@@ Property / cites work: Q4205088 / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank