Automated Synthesis of Distributed Controllers (Q3449462): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1787612524
@@ Property / OpenAlex ID: W1787612524 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02369
@@ Property / arXiv ID: 1506.02369 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal dynamic partial order reduction
@@ Property / cites work: Optimal dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2963915
@@ Property / cites work: Q2963915 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking of correctness conditions for concurrent objects
+Normal rank
@@ Property / cites work @@
+Realizability of Concurrent Recursive Programs
@@ Property / cites work: Realizability of Concurrent Recursive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous mappings and asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+Distributed Control of Discrete-Event Systems: A First Step
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Monitoring Atomicity in Concurrent Programs
@@ Property / cites work: Monitoring Atomicity in Concurrent Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Fair Synthesis for Asynchronous Distributed Systems
+Normal rank
@@ Property / cites work @@
+Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
+Normal rank
@@ Property / cites work @@
+Asynchronous Games over Tree Architectures
@@ Property / cites work: Asynchronous Games over Tree Architectures / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Constructing Exponential-Size Deterministic Zielonka Automata
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / cites work @@
+On the determinacy of concurrent games on event structures with infinite winning sets
+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 @@
+A quadratic construction for Zielonka automata with acyclic communication structure
+Normal rank
@@ Property / cites work @@
+Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q4535033
@@ Property / cites work: Q4535033 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Asynchronous games. II: The true concurrency of innocence
+Normal rank
@@ Property / cites work @@
+Keeping track of the latest gossip in a distributed system
+Normal rank
@@ Property / cites work @@
+Distributed synthesis for acyclic architectures
@@ Property / cites work: Distributed synthesis for acyclic architectures / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank