Eli Gafni, Petr Kuznetsov. Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. In Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah, editors, Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings. Volume 6490 of Lecture Notes in Computer Science, pages 380-394, Springer, 2010. [doi]
Abstract is missing.