Bisimilarity is not finitely based over BPA with interrupt (Q860878): Difference between revisions

@@ Property / cites work @@
+Q4501538
@@ Property / cites work: Q4501538 / rank @@
+Normal rank
@@ Property / cites work @@
+The max-plus algebra of the natural numbers has no finite equational basis
+Normal rank
@@ Property / cites work @@
+Nested semantics over finite trees are equationally hard
+Normal rank
@@ Property / cites work @@
+A menagerie of non-finitely based process semantics  over BPA* – from ready simulation to completed traces
+Normal rank
@@ Property / cites work @@
+CCS with Hennessy's merge has no finite-equational axiomatization
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Q3951525
@@ Property / cites work: Q3951525 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449168
@@ Property / cites work: Q4449168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of CCS
@@ Property / cites work: On the expressive power of CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754192
@@ Property / cites work: Q2754192 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising Finite Concurrent Processes
@@ Property / cites work: Axiomatising Finite Concurrent Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038732
@@ Property / cites work: Q4038732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonaxiomatisability of equivalences over finite state processes
+Normal rank