Strategic port graph rewriting: an interactive modelling framework (Q4629264): Difference between revisions

@@ Property / describes a project that uses @@
+AGG
@@ Property / describes a project that uses: AGG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.7929
@@ Property / arXiv ID: 1407.7929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964704
@@ Property / cites work: Q4964704 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Calculus for Multigraphs with Ports
@@ Property / cites work: A Rewriting Calculus for Multigraphs with Ports / rank @@
+Normal rank
@@ Property / cites work @@
+A Higher-Order Graph Calculus for Autonomic Computing
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
+Normal rank
@@ Property / cites work @@
+Q4447223
@@ Property / cites work: Q4447223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808751
@@ Property / cites work: Q4808751 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation
+Normal rank
@@ Property / cites work @@
+The Pullback-Pushout Approach to Algebraic Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling of Cellular Signalling
@@ Property / cites work: Rule-Based Modelling of Cellular Signalling / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962450
@@ Property / cites work: Q3962450 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
+Normal rank
@@ Property / cites work @@
+Labelled graph strategic rewriting for social networks
+Normal rank
@@ Property / cites work @@
+Q4494368
@@ Property / cites work: Q4494368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728869
@@ Property / cites work: Q2728869 / rank @@
+Normal rank
@@ Property / cites work @@
+GrGen: A Fast SPO-Based Graph Rewriting Tool
@@ Property / cites work: GrGen: A Fast SPO-Based Graph Rewriting Tool / rank @@
+Normal rank
@@ Property / cites work @@
+Double-pushout graph transformation revisited
@@ Property / cites work: Double-pushout graph transformation revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769432
@@ Property / cites work: Q2769432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Inductive Classes of Graphs
@@ Property / cites work: Probabilistic Inductive Classes of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086785
@@ Property / cites work: Q3086785 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Graph Transformation Systems
@@ Property / cites work: Probabilistic Graph Transformation Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808763
@@ Property / cites work: Q4808763 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Graph Rewriting in Span-Categories
@@ Property / cites work: Graph Rewriting in Span-Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849587
@@ Property / cites work: Q2849587 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Semantics for Maude Strategies
@@ Property / cites work: A Rewriting Semantics for Maude Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508308
@@ Property / cites work: Q4508308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The Graph Programming Language GP
@@ Property / cites work: The Graph Programming Language GP / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Subgraph Isomorphism
@@ Property / cites work: An Algorithm for Subgraph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778890
@@ Property / cites work: Q2778890 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of strategies in rule-based program transformation systems
+Normal rank
@@ Property / Wikidata QID @@
+Q129432043
@@ Property / Wikidata QID: Q129432043 / rank @@
+Normal rank