DP lower bounds for equivalence-checking and model-checking of one-counter automata (Q1887159): Difference between revisions

@@ Property / cites work @@
+Q4251918
@@ Property / cites work: Q4251918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888749
@@ Property / cites work: Q4888749 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q4785460
@@ Property / cites work: Q4785460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimilarity for one-counter processes.
+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 @@
+Q4738225
@@ Property / cites work: Q4738225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496250
@@ Property / cites work: Q4496250 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754154
@@ Property / cites work: Q2754154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766532
@@ Property / cites work: Q2766532 / 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 @@
+Q4449204
@@ Property / cites work: Q4449204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank