Damien Imbs, Michel Raynal. Visiting Gafni s Reduction Land: From the BG Simulation to the Extended BG Simulation. In Rachid Guerraoui, Franck Petit, editors, Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Volume 5873 of Lecture Notes in Computer Science, pages 369-383, Springer, 2009. [doi]
Abstract is missing.