Automated synthesis: a distributed viewpoint

DOI10.4230/LIPICS.FSTTCS.2017.3MaRDI QIDQ5136292zbMATH OpenOpenAlexFDO

Authors Anca Muscholl

Publication date 25 November 2020

Full work available at URL http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2017.html#Muscholl17

zbMATH Keywords

distributed programsynthesis

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Distributed algorithms (68W15)

Recommendations

• Automated synthesis of distributed controllers
• Synthesis of distributed algorithms using asynchronous automata.
• Distributed synthesis for acyclic architectures
• Symbolic synthesis of masking fault-tolerant distributed programs
• Automated Technology for Verification and Analysis

Cites work

• A brief account of runtime verification
• Asynchronous Games over Tree Architectures
• Automated Technology for Verification and Analysis
• Church’s Problem and a Tour through Automata Theory
• Church's Problem Revisited
• Distributed synthesis for acyclic architectures
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1754607 (Why is no real title available?)
• Notes on finite asynchronous automata
• Optimal Zielonka-type construction of deterministic asynchronous automata
• Petri games: synthesis of distributed systems with causal memory
• Runtime verification logics. A language design perspective
• Soundness in negotiations
• Using partial orders for the efficient verification of deadlock freedom and safety properties

Cited in

(2)

• Automated synthesis of distributed controllers
• scientific article; zbMATH DE number 7278100 (Why is no real title available?)

This page was built for publication: Automated synthesis: a distributed viewpoint

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5136292)