Fair Synthesis for Asynchronous Distributed Systems

Paul Gastin, Nathalie Sznajder. Fair Synthesis for Asynchronous Distributed Systems. ACM Trans. Comput. Log., 14(2):9, 2013. [doi]

Abstract

Abstract is missing.