Well-structured transition systems everywhere! (Q5941101): Difference between revisions

@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable verification problems for programs with unreliable channels
+Normal rank
@@ Property / cites work @@
+Ensuring completeness of symbolic verification methods for infinite-state systems
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Some decision problems related to the reachability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Recursivite et cônes rationnels fermés par intersection
+Normal rank
@@ Property / cites work @@
+Q3774929
@@ Property / cites work: Q3774929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251060
@@ Property / cites work: Q4251060 / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing finite Kripke structures in propositional temporal logic
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Unreliable channels are easier to verify than perfect channels
+Normal rank
@@ Property / cites work @@
+Deciding properties of integral relational automata
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790409
@@ Property / cites work: Q4790409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771630
@@ Property / cites work: Q3771630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992422
@@ Property / cites work: Q3992422 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction and covering of infinite reachability trees
+Normal rank
@@ Property / cites work @@
+Fifo nets without order deadlock
@@ Property / cites work: Fifo nets without order deadlock / rank @@
+Normal rank
@@ Property / cites work @@
+Priority Networks of Communicating Finite State Machines
+Normal rank
@@ Property / cites work @@
+Hybrid automata with finite bisimulations
@@ Property / cites work: Hybrid automata with finite bisimulations / 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 @@
+Deciding bisimulation equivalences for a class of non-finite-state programs
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222876
@@ Property / cites work: Q4222876 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+On permutative grammars generating context-free languages
+Normal rank
@@ Property / cites work @@
+An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite results
@@ Property / cites work: Infinite results / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694689
@@ Property / cites work: Q4694689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3051391
@@ Property / cites work: Q3051391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763695
@@ Property / cites work: Q2763695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518906
@@ Property / cites work: Q4518906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501519
@@ Property / cites work: Q4501519 / rank @@
+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 @@
+Q2767047
@@ Property / cites work: Q2767047 / rank @@
+Normal rank