Q5089315 (Q5089315): Difference between revisions

@@ Property / cites work @@
+Persistence Results for Chemical Reaction Networks with Time-Dependent Kinetics and No Global Conservation Laws
+Normal rank
@@ Property / cites work @@
+Petri nets for modelling metabolic pathways: a survey
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Generalized Data Automata and Fixpoint Logic
@@ Property / cites work: Generalized Data Automata and Fixpoint Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and szilard languages
@@ Property / cites work: Petri nets and szilard languages / rank @@
+Normal rank
@@ Property / cites work @@
+The reachability problem for Petri nets is not elementary
+Normal rank
@@ Property / cites work @@
+Ordered Navigation on Multi-attributed Data Words
@@ Property / cites work: Ordered Navigation on Multi-attributed Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Data Repetitions with Counter Systems
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of population protocols
@@ Property / cites work: Verification of population protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Proving safety properties of infinite state systems by compilation into Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on blind and partially blind one-way multicounter machines
+Normal rank
@@ Property / cites work @@
+Reachability in Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Q5009439
@@ Property / cites work: Q5009439 / rank @@
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+Petri nets, Horn programs, linear logic and vector games
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+A theory of structural stationarity in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+A multiparameter analysis of the boundedness problem for vector addition systems
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank