Automated Synthesis of Distributed Controllers

DOI10.1007/978-3-662-47666-6_2zbMath1440.68178arXiv1506.02369OpenAlexW1787612524MaRDI QIDQ3449462

Anca Muscholl

Publication date: 4 November 2015

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.02369

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Distributed Asynchronous Games With Causal Memory are Undecidable ⋮ Unnamed Item ⋮ Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Erlang

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A quadratic construction for Zielonka automata with acyclic communication structure
• Asynchronous mappings and asynchronous cellular automata
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Model-checking of correctness conditions for concurrent objects
• On the determinacy of concurrent games on event structures with infinite winning sets
• A Kleene theorem and model checking algorithms for existentially bounded communicating automata
• Asynchronous games. II: The true concurrency of innocence
• A theory of regular MSC languages
• Fair Synthesis for Asynchronous Distributed Systems
• Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
• Distributed synthesis for acyclic architectures
• Monitoring Atomicity in Concurrent Programs
• Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
• Constructing Exponential-Size Deterministic Zielonka Automata
• Realizability of Concurrent Recursive Programs
• Notes on finite asynchronous automata
• Time, clocks, and the ordering of events in a distributed system
• Distributed Control of Discrete-Event Systems: A First Step
• Keeping track of the latest gossip in a distributed system
• Asynchronous Games over Tree Architectures
• Optimal dynamic partial order reduction
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Automated Technology for Verification and Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Automated Synthesis of Distributed Controllers