A connection between concurrency and language theory (Q265802): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2161360624
@@ Property / OpenAlex ID: W2161360624 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317964
@@ Property / Wikidata QID: Q113317964 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0044
@@ Property / arXiv ID: 1303.0044 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Axioms for Probabilistic Bisimilarity
@@ Property / cites work: Equational Axioms for Probabilistic Bisimilarity / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity is P-complete
@@ Property / cites work: Deciding bisimilarity is P-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of ordered algebras
@@ Property / cites work: Varieties of ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
+Normal rank
@@ Property / cites work @@
+Equational logic of circular data type specification
+Normal rank
@@ Property / cites work @@
+Matrix and matricial iteration theories. I
@@ Property / cites work: Matrix and matricial iteration theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+The equational logic of fixed points
@@ Property / cites work: The equational logic of fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449535
@@ Property / cites work: Q4449535 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing rational power series over natural numbers
+Normal rank
@@ Property / cites work @@
+Iteration theories of synchronization trees
@@ Property / cites work: Iteration theories of synchronization trees / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. II
@@ Property / cites work: IO and OI. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919058
@@ Property / cites work: Q3919058 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Park induction
@@ Property / cites work: Completeness of Park induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381396
@@ Property / cites work: Q4381396 / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753681
@@ Property / cites work: Q2753681 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Additive Algebras and Injective Simulations of Synchronization Trees
+Normal rank
@@ Property / cites work @@
+Axiomatizing the equational theory of regular tree languages
+Normal rank
@@ Property / cites work @@
+Residuated Park theories
@@ Property / cites work: Residuated Park theories / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing weighted synchronization trees and weighted bisimilarity
+Normal rank
@@ Property / cites work @@
+Q4222756
@@ Property / cites work: Q4222756 / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration Grove Theories with Applications
@@ Property / cites work: Iteration Grove Theories with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Free iterative and iteration \(K\)-semialgebras
@@ Property / cites work: Free iterative and iteration \(K\)-semialgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Free inductive \(K\)-semialgebras
@@ Property / cites work: Free inductive \(K\)-semialgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of iteration in algebraically complete categories
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / 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 @@
+Q4474001
@@ Property / cites work: Q4474001 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization trees
@@ Property / cites work: Synchronization trees / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:265802