Weak bisimilarity and regularity of context-free processes is EXPTIME-hard (Q1763731): Difference between revisions

@@ Property / cites work @@
+Deciding bisimilarity is P-complete
@@ Property / cites work: Deciding bisimilarity is P-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary bisimulation decision procedure for arbitrary context-free processes
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222868
@@ Property / cites work: Q4222868 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+Normal rank
@@ Property / cites work @@
+High undecidability of weak bisimilarity for Petri nets
+Normal rank
@@ Property / cites work @@
+Q4708592
@@ Property / cites work: Q4708592 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / 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 @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Weak Bisimilarity and Regularity for BPA and BPP
+Normal rank
@@ Property / cites work @@
+Q3395948
@@ Property / cites work: Q3395948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736869
@@ Property / cites work: Q4736869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737202
@@ Property / cites work: Q4737202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484512
@@ Property / cites work: Q4484512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412112
@@ Property / cites work: Q4412112 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank
@@ Property / cites work @@
+Q4218096
@@ Property / cites work: Q4218096 / rank @@
+Normal rank