On selective unboundedness of VASS (Q355513): Difference between revisions

@@ Property / arXiv ID @@
+.0217
@@ Property / arXiv ID: 1011.0217 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+ON YEN'S PATH LOGIC FOR PETRI NETS
@@ Property / cites work: ON YEN'S PATH LOGIC FOR PETRI NETS / rank @@
+Normal rank
@@ Property / cites work @@
+On Yen’s Path Logic for Petri Nets
@@ Property / cites work: On Yen’s Path Logic for Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Coverability Graphs of Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Decidability of LTL for Vector Addition Systems with One Zero-Test
+Normal rank
@@ Property / cites work @@
+The Reachability Problem for Vector Addition System with One Zero-Test
+Normal rank
@@ Property / cites work @@
+Bounds on Positive Integral Solutions of Linear Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Fast Acceleration of Ultimately Periodic Relations
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474213
@@ Property / cites work: Q4474213 / rank @@
+Normal rank
@@ Property / cites work @@
+Taming Past LTL and Flat Counter Systems
@@ Property / cites work: Taming Past LTL and Flat Counter Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938633
@@ Property / cites work: Q4938633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and covering of infinite reachability trees
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Counter Machines Revisited
@@ Property / cites work: Reversal-Bounded Counter Machines Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+An NP-complete number-theoretic problem
@@ Property / cites work: An NP-complete number-theoretic problem / rank @@
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Counter machines and verification problems.
@@ Property / cites work: Counter machines and verification problems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766867
@@ Property / cites work: Q3766867 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Vector addition system reachability problem
@@ Property / cites work: Vector addition system reachability problem / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Small vertex cover makes Petri net coverability and boundedness easier
+Normal rank
@@ Property / cites work @@
+Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Lectures on Petri nets. 1: Basic models. Advances in Petri nets
+Normal rank
@@ Property / cites work @@
+Q3997018
@@ Property / cites work: Q3997018 / rank @@
+Normal rank
@@ Property / cites work @@
+A multiparameter analysis of the boundedness problem for vector addition systems
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+The residue of vector sets with applications to decidability problems in Petri nets
+Normal rank
@@ Property / cites work @@
+Petri nets and regular languages
@@ Property / cites work: Petri nets and regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified approach for deciding the existence of certain petri net paths
+Normal rank