Compositional synthesis of asynchronous automata (Q551202): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5920446
@@ Property / zbMATH DE Number: 5920446 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automata theory
@@ Property / zbMATH Keywords: automata theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal languages
@@ Property / zbMATH Keywords: formal languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mazurkiewicz traces
@@ Property / zbMATH Keywords: Mazurkiewicz traces / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asynchronous automata
@@ Property / zbMATH Keywords: asynchronous automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic synthesis
@@ Property / zbMATH Keywords: automatic synthesis / rank @@
+Normal rank
@@ 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.tcs.2011.03.030
+Normal rank
@@ Property / OpenAlex ID @@
+W1998658600
@@ Property / OpenAlex ID: W1998658600 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738298
@@ Property / cites work: Q4738298 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+The Synthesis Problem of Netcharts
@@ Property / cites work: The Synthesis Problem of Netcharts / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Asynchronous mappings and asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+Q3835040
@@ Property / cites work: Q3835040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288286
@@ Property / cites work: Q4288286 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding Synthesis of Asynchronous Automata
@@ Property / cites work: Unfolding Synthesis of Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Exponential-Size Deterministic Zielonka Automata
+Normal rank
@@ Property / cites work @@
+Distributed Asynchronous Automata
@@ Property / cites work: Distributed Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
+Normal rank
@@ Property / cites work @@
+Determinizing Büchi asynchronous automata
@@ Property / cites work: Determinizing Büchi asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the complementation of Büchi asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536277
@@ Property / cites work: Q5536277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783583
@@ Property / cites work: Q3783583 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:551202