Handling infinitely branching well-structured transition systems (Q1686118): 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.1016/j.ic.2017.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2767753763
@@ Property / OpenAlex ID: W2767753763 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and covering of infinite reachability trees
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Well-Structured Graph Transformation Systems with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Forward Analysis of Depth-Bounded Processes
@@ Property / cites work: Forward Analysis of Depth-Bounded Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Ideal Abstractions for Well-Structured Transition Systems
+Normal rank
@@ Property / cites work @@
+Efficient Coverability Analysis by Proof Minimization
+Normal rank
@@ Property / cites work @@
+Q5389997
@@ Property / cites work: Q5389997 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward Analysis for WSTS, Part II: Complete WSTS
@@ Property / cites work: Forward Analysis for WSTS, Part II: Complete WSTS / rank @@
+Normal rank
@@ Property / cites work @@
+Expand, enlarge and check: new algorithms for the coverability problem of WSTS
+Normal rank
@@ Property / cites work @@
+The Power of Well-Structured Systems
@@ Property / cites work: The Power of Well-Structured Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computable fixpoints in well-structured symbolic model checking
+Normal rank
@@ Property / cites work @@
+Multiply-Recursive Upper Bounds with Higman’s Lemma
+Normal rank
@@ Property / cites work @@
+Unreliable channels are easier to verify than perfect channels
+Normal rank
@@ Property / cites work @@
+On termination and invariance for faulty channel machines
+Normal rank
@@ Property / cites work @@
+Q4222876
@@ Property / cites work: Q4222876 / rank @@
+Normal rank
@@ Property / cites work @@
+ω-Petri Nets
@@ Property / cites work: ω-Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A well-structured framework for analysing Petri net extensions
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+On Languages Piecewise Testable in the Strict Sense
+Normal rank
@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+On families of mutually exclusive sets
@@ Property / cites work: On families of mutually exclusive sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083724
@@ Property / cites work: Q4083724 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of relations. Transl. from the French by P. Clote
+Normal rank
@@ Property / cites work @@
+A note on well quasi-orderings for powersets
@@ Property / cites work: A note on well quasi-orderings for powersets / rank @@
+Normal rank
@@ Property / cites work @@
+Partial well‐ordering of sets of vectors
@@ Property / cites work: Partial well‐ordering of sets of vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Demystifying Reachability in Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Q4508393
@@ Property / cites work: Q4508393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938633
@@ Property / cites work: Q4938633 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+The ideal view on Rackoff's coverability technique
+Normal rank
@@ Property / cites work @@
+The Complexity of Coverability in ν-Petri Nets
@@ Property / cites work: The Complexity of Coverability in ν-Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Coverability Trees for Petri Nets with Unordered Data
+Normal rank
@@ Property / cites work @@
+Q4601852
@@ Property / cites work: Q4601852 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Piecewise Testable Separability for Regular Tree Languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1686118