Nested semantics over finite trees are equationally hard (Q598202): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2158342623
@@ Property / OpenAlex ID: W2158342623 / rank @@
+Normal rank
@@ 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 @@
+A menagerie of non-finitely based process semantics  over BPA* – from ready simulation to completed traces
+Normal rank
@@ Property / cites work @@
+Q2762495
@@ Property / cites work: Q2762495 / 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 @@
+Bisimulation equivalence is decidable for all context-free processes
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754192
@@ Property / cites work: Q2754192 / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable equivalences for basic process algebra
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845486
@@ Property / cites work: Q4845486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490743
@@ Property / cites work: Q4490743 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / 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 @@
+Q3999206
@@ Property / cites work: Q3999206 / 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
@@ Property / cites work @@
+Q4375775
@@ Property / cites work: Q4375775 / rank @@
+Normal rank