A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.01.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2104378808
@@ Property / OpenAlex ID: W2104378808 / rank @@
+Normal rank
@@ 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 @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Q3761680
@@ Property / cites work: Q3761680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535007
@@ Property / cites work: Q4535007 / 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 @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858945
@@ Property / cites work: Q4858945 / 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 @@
+Q4938637
@@ Property / cites work: Q4938637 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Deciding bisimulation-like equivalences with finite-state processes
+Normal rank
@@ Property / cites work @@
+Q4501545
@@ Property / cites work: Q4501545 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite representations of infinite-state behaviours
+Normal rank
@@ Property / cites work @@
+A Logical Viewpoint on Process-algebraic Quotients
+Normal rank
@@ Property / cites work @@
+Q4708592
@@ Property / cites work: Q4708592 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation preorder over simple process algebras
@@ Property / cites work: Simulation preorder over simple process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673421
@@ Property / cites work: Q4673421 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular viewpoint on PA-processes
@@ Property / cites work: The regular viewpoint on PA-processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536443
@@ Property / cites work: Q4536443 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking with the temporal logic EF
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942625
@@ Property / cites work: Q4942625 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank
@@ Property / cites work @@
+\(L(A)=L(B)\)? decidability results from complete formal systems
+Normal rank
@@ Property / cites work @@
+Q3395948
@@ Property / cites work: Q3395948 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Impossible futures and determinism
@@ Property / cites work: Impossible futures and determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472439
@@ Property / cites work: Q4472439 / rank @@
+Normal rank