Danny Dolev;H. Raymond Strong
-;-
Necessary and sufficient conditions for broadcast consensus protocols
Distributed Computing