Decidability of Weak Bisimilarity for a Subset of BPA (Q5415622): Difference between revisions

@@ 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.1016/j.entcs.2008.04.065
+Normal rank
@@ Property / OpenAlex ID @@
+W1993247717
@@ Property / OpenAlex ID: W1993247717 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite results
@@ Property / cites work: Infinite results / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking for infinite-state concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4790409
@@ Property / cites work: Q4790409 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Bisimulation equivalence is decidable for all context-free processes
+Normal rank
@@ Property / cites work @@
+An elementary bisimulation decision procedure for arbitrary context-free processes
+Normal rank
@@ Property / cites work @@
+Q3395948
@@ Property / cites work: Q3395948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353915
@@ Property / cites work: Q4353915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222868
@@ Property / cites work: Q4222868 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank
@@ Property / cites work @@
+Actions speak louder than words: proving bisimilarity for context-free processes
+Normal rank
@@ Property / cites work @@
+Q2847410
@@ Property / cites work: Q2847410 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733426
@@ Property / cites work: Q4733426 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938637
@@ Property / cites work: Q4938637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769443
@@ Property / cites work: Q2769443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270070
@@ Property / cites work: Q4270070 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the decidability of bisimulation for normed BPA- processes
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\)
+Normal rank
@@ Property / cites work @@
+Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau
+Normal rank