CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725): Difference between revisions

@@ Property / author @@
-W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
-Normal rank
@@ Property / author @@
+W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2222296167
@@ Property / OpenAlex ID: W2222296167 / rank @@
+Normal rank
@@ Property / cites work @@
+On “Axiomatising Finite Concurrent Processes”
@@ Property / cites work: On “Axiomatising Finite Concurrent Processes” / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395976
@@ Property / cites work: Q3395976 / rank @@
+Normal rank
@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Algèbre de processus et synchronisation
@@ Property / cites work: Algèbre de processus et synchronisation / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736873
@@ Property / cites work: Q4736873 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / 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 @@
+TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings
+Normal rank
@@ Property / cites work @@
+Free shuffle algebras in language varieties
@@ Property / cites work: Free shuffle algebras in language varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties generated by languages with poset operations
+Normal rank
@@ Property / cites work @@
+Axiomatizing shuffle and concatenation in languages
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the subsumption and subword preorders on finite and infinite partial words
+Normal rank
@@ Property / cites work @@
+Nonfinite axiomatizability of the equational theory of shuffle
+Normal rank
@@ Property / cites work @@
+Q4501680
@@ Property / cites work: Q4501680 / 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 @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising Finite Concurrent Processes
@@ Property / cites work: Axiomatising Finite Concurrent Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / 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 @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Flowgraphs and Flow Algebras
@@ Property / cites work: Flowgraphs and Flow Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition of processes
@@ Property / cites work: Unique decomposition of processes / 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 @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Languages under concatenation and shuffling
@@ Property / cites work: Languages under concatenation and shuffling / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1763725