Deciding the Bisimilarity of Context-Free Session Types (Q5164167): Difference between revisions

@@ Property / cites work @@
+Context-free session types
@@ Property / cites work: Context-free session types / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Decidability of DPDA equivalence
@@ Property / cites work: Decidability of DPDA equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic pushdown automata is decidable
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Free Session Type Inference
@@ Property / cites work: Context-Free Session Type Inference / rank @@
+Normal rank
@@ Property / cites work @@
+BPA bisimilarity is EXPTIME-hard
@@ Property / cites work: BPA bisimilarity is EXPTIME-hard / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270051
@@ Property / cites work: Q4270051 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
+Normal rank
@@ Property / cites work @@
+Selected Ideas Used for Decidability and Undecidability of Bisimilarity
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+Normal rank
@@ Property / cites work @@
+LALBLC A Program Testing the Equivalence of dpda’s
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908855
@@ Property / cites work: Q2908855 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation equivalence is decidable for all context-free processes
+Normal rank
@@ Property / cites work @@
+Q3727408
@@ Property / cites work: Q3727408 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary bisimulation decision procedure for arbitrary context-free processes
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+Normal rank