Fair Synthesis for Asynchronous Distributed Systems

DOI10.1145/2480759.2480761zbMath1353.68202OpenAlexW1970485613MaRDI QIDQ2946693

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)

Related Items

Automated Synthesis of Distributed Controllers, On Distributed Monitoring and Synthesis, Unnamed Item, Distributed synthesis for parameterized temporal logics