Normed BPA vs. Normed BPP Revisited (Q3541036): Difference between revisions

@@ Property / author @@
-Petr Jančar
@@ Property / author: Petr Jančar / rank @@
-Normal rank
@@ Property / author @@
+Petr Jančar
@@ Property / author: Petr Jančar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85361-9_34
+Normal rank
@@ Property / OpenAlex ID @@
+W1601052324
@@ Property / OpenAlex ID: W1601052324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4665738
@@ Property / cites work: Q4665738 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938637
@@ Property / cites work: Q4938637 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary bisimulation decision procedure for arbitrary context-free processes
+Normal rank
@@ Property / cites work @@
+Q4737202
@@ Property / cites work: Q4737202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736869
@@ Property / cites work: Q4736869 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+Normal rank
@@ Property / cites work @@
+Faster Algorithm for Bisimulation Equivalence 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 @@
+Comparing expressibility of normed BPA and normed BPP processes
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / 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 @@
+Q4673421
@@ Property / cites work: Q4673421 / rank @@
+Normal rank