On GS-Monoidal Theories for Graphs with Nesting (Q3059707): Difference between revisions

@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Normal forms for algebras of connections.
@@ Property / cites work: Normal forms for algebras of connections. / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical foundations for compensations in flow composition languages
+Normal rank
@@ Property / cites work @@
+Abstract hierarchical graph transformation
@@ Property / cites work: Abstract hierarchical graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+An abstract machine for concurrent modular systems: CHARM
+Normal rank
@@ Property / cites work @@
+A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
+Normal rank
@@ Property / cites work @@
+Hierarchical graph transformation
@@ Property / cites work: Hierarchical graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
+Normal rank
@@ Property / cites work @@
+Tile formats for located and mobile systems.
@@ Property / cites work: Tile formats for located and mobile systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting for the π-calculus
@@ Property / cites work: Graph rewriting for the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebra for Directed Bigraphs
@@ Property / cites work: An Algebra for Directed Bigraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959455
@@ Property / cites work: Q3959455 / rank @@
+Normal rank