Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. In Toshimitsu Masuzawa, Sébastien Tixeuil, editors, Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings. Volume 4838 of Lecture Notes in Computer Science, pages 21-36, Springer, 2007. [doi]
Abstract is missing.