Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast
Marcos Kawazoe Aguilera5
, Sam Toueg5
and Borislav Deianov5 
| (5) |
Department of Computer Science, Upson Hall Cornell University, Ithaca, NY 14853-7501, USA |
Abstract
Uniform Reliable Broadcast (URB) is a communication prim- itive that requires that if a process delivers a message, then all correct processes also deliver
this message. A recent paper [HR99] uses Knowl- edge Theory to determine what failure detectors are necessary to imple- ment
this primitive in asynchronous systems with process crashes and lossy links that are fair. In this paper, we revisit this
problem using a different approach, and provide a result that is simpler, more intuitive, and, in a precise sense, more general.
Abstract Research partially supported by NSF grant CCR-9711403 and by an Olin Fellowship.
References secured to subscribers.