The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950): Difference between revisions

@@ Property / cites work @@
+Q3395976
@@ Property / cites work: Q3395976 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS with Hennessy's merge has no finite-equational axiomatization
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinite axiomatizability of shuffle inequalities
+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 @@
+Axiomatizing shuffle and concatenation in languages
+Normal rank
@@ Property / cites work @@
+Varieties generated by languages with poset operations
+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 @@
+Axiomatising Finite Concurrent Processes
@@ Property / cites work: Axiomatising Finite Concurrent Processes / 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 @@
+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 @@
+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