Fair synthesis for asynchronous distributed systems

DOI10.1145/2480759.2480761MaRDI QIDQ2946693zbMATH OpenOpenAlexFDO

Authors Paul Gastin, Nathalie Sznajder

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2480759.2480761

zbMATH Keywords

synthesisdistributed systemsChurch's problemsemicommutations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 1927560
• Synthesis of Asynchronous Systems
• Synthesis of distributed algorithms using asynchronous automata.
• Distributed synthesis for acyclic architectures

Cited in

(18)

• scientific article; zbMATH DE number 1927560 (Why is no real title available?)
• m-asynchronous cellular automata: from fairness to quasi-fairness
• Automated synthesis of distributed controllers
• From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
• Stepwise development of fair distributed systems
• Fair distributed computation of reactive functions
• On fairness notions in distributed systems. I: A characterization of implementability
• Distributed synthesis in continuous time
• Synthesis of distributed algorithms using asynchronous automata.
• Appraising fairness in languages for distributed programming
• Distributed synthesis for parameterized temporal logics
• Distributed PROMPT-LTL synthesis
• scientific article; zbMATH DE number 139611 (Why is no real title available?)
• A distributed synchronization scheme for fair multi-process handshakes
• Promptness and bounded fairness in concurrent and parameterized systems
• On Distributed Monitoring and Synthesis
• Deciding determinism with fairness for simple transducer networks
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

This page was built for publication: Fair synthesis for asynchronous distributed systems

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