David Janin. On the (High) Undecidability of Distributed Synthesis Problems. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Volume 4362 of Lecture Notes in Computer Science, pages 320-329, Springer, 2007. [doi]
Abstract is missing.