A kleene theorem for recognizable languages over concurrency monoids (Q4632442): 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.1007/3-540-58201-0_84
+Normal rank
@@ Property / OpenAlex ID @@
+W1582828320
@@ Property / OpenAlex ID: W1582828320 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766854
@@ Property / cites work: Q3766854 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+From domains to automata with concurrency
@@ Property / cites work: From domains to automata with concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled domains and automata with concurrency
@@ Property / cites work: Labelled domains and automata with concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable subsets of some partially Abelian monoids
+Normal rank
@@ Property / cites work @@
+Q3736919
@@ Property / cites work: Q3736919 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038692
@@ Property / cites work: Q4038692 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCURRENT AUTOMATA AND DOMAINS
@@ Property / cites work: CONCURRENT AUTOMATA AND DOMAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable languages in concurrency monoids
@@ Property / cites work: Recognizable languages in concurrency monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288284
@@ Property / cites work: Q4288284 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free trace languages
@@ Property / cites work: Star-free trace languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954451
@@ Property / cites work: Q4954451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
+Normal rank
@@ Property / cites work @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between a concrete and an abstract model of concurrent systems
+Normal rank
@@ Property / cites work @@
+Compositional relational semantics for indeterminate dataflow networks
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank