Compositional analysis of probabilistic timed graph transformation systems (Q2044184): 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/978-3-030-71500-7_10
+Normal rank
@@ Property / OpenAlex ID @@
+W3137146339
@@ Property / OpenAlex ID: W3137146339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
+Normal rank
@@ Property / cites work @@
+Graph Parsing as Graph Transformation
@@ Property / cites work: Graph Parsing as Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Predictive Top-Down Parsing for Hyperedge Replacement Grammars
+Normal rank
@@ Property / cites work @@
+k-Inductive Invariant Checking for Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised Compositionality in Graph Transformation
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic Timed Graph Transformation Systems
@@ Property / cites work: Probabilistic Timed Graph Transformation Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic timed graph transformation systems
@@ Property / cites work: Probabilistic timed graph transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional analysis of probabilistic timed graph transformation systems
+Normal rank
@@ Property / cites work @@
+Symbolic graphs for attributed graph constraints
@@ Property / cites work: Symbolic graphs for attributed graph constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Graph Transformation
@@ Property / cites work: Lazy Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality in Graph Transformation
@@ Property / cites work: Compositionality in Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
+Normal rank
@@ Property / cites work @@
+Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
+Normal rank