Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909): 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.ipl.2011.01.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1984568289
@@ Property / OpenAlex ID: W1984568289 / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of prebisimilarity over basic CCS with divergence
+Normal rank
@@ Property / cites work @@
+On the axiomatisability of priority
@@ Property / cites work: On the axiomatisability of priority / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+A finite equational base for CCS with left merge and communication merge
+Normal rank
@@ Property / cites work @@
+Lifting non-finite axiomatizability results to extensions of process algebras
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+On finite alphabets and infinite bases
@@ Property / cites work: On finite alphabets and infinite bases / rank @@
+Normal rank
@@ Property / cites work @@
+On the Unification of Process Semantics: Equational Semantics
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible futures and determinism
@@ Property / cites work: Impossible futures and determinism / rank @@
+Normal rank