Canonical derivations for high-level replacement systems (Q5096280): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-57787-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1523099581
@@ Property / OpenAlex ID: W1523099581 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract graph derivations in the double pushout approach
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Q4037314
@@ Property / cites work: Q4037314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushout-Properties: An analysis of gluing constructions for graphs
+Normal rank
@@ Property / cites work @@
+Transformations of structures: An algebraic approach
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037315
@@ Property / cites work: Q4037315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125802
@@ Property / cites work: Q4125802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709888
@@ Property / cites work: Q3709888 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of rule-based design of modular systems
+Normal rank
@@ Property / cites work @@
+Algebraic high-level net transformation systems
@@ Property / cites work: Algebraic high-level net transformation systems / rank @@
+Normal rank