Distributed synthesis for well-connected architectures.

Paul Gastin Nathalie Sznajder Marc Zeitoun Distributed synthesis for well-connected architectures. 215-237 2009 34 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-008-0064-7 db/journals/fmsd/fmsd34.html#GastinSZ09