Branch-well-structured transition systems and extensions (Q2165211): Difference between revisions

@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Handling Infinitely Branching WSTS
@@ Property / cites work: Handling Infinitely Branching WSTS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367063
@@ Property / cites work: Q5367063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5028474
@@ Property / cites work: Q5028474 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding branching time properties for asynchronous programs
+Normal rank
@@ Property / cites work @@
+Q5089298
@@ Property / cites work: Q5089298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+A partition calculus in set theory
@@ Property / cites work: A partition calculus in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and covering of infinite reachability trees
+Normal rank
@@ Property / cites work @@
+A well-structured framework for analysing Petri net extensions
+Normal rank
@@ Property / cites work @@
+Q5129947
@@ Property / cites work: Q5129947 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for unboundedness of fifo channels
@@ Property / cites work: Testing for unboundedness of fifo channels / rank @@
+Normal rank