Bisimulation collapse and the process taxonomy (Q6104377): Difference between revisions

@@ Property / cites work @@
+Q3774929
@@ Property / cites work: Q3774929 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary bisimulation decision procedure for arbitrary context-free processes
+Normal rank
@@ Property / cites work @@
+Q4818834
@@ Property / cites work: Q4818834 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular canonical systems
@@ Property / cites work: Regular canonical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Graphes canoniques de graphes algébriques
@@ Property / cites work: Graphes canoniques de graphes algébriques / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular structure of prefix rewriting
@@ Property / cites work: On the regular structure of prefix rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028125
@@ Property / cites work: Q4028125 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the decidability of bisimulation for normed BPA- processes
+Normal rank
@@ Property / cites work @@
+Q4818859
@@ Property / cites work: Q4818859 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank