Please use this identifier to cite or link to this item:
|Title:||A bivalency proof of the lower bound for uniform consensus|
Synchronous distributed systems
|Source:||Wang, X., Teo, Y.M., Cao, J. (2005). A bivalency proof of the lower bound for uniform consensus. Information Processing Letters 96 (5) : 167-174. ScholarBank@NUS Repository. https://doi.org/10.1016/j.ipl.2005.08.002|
|Abstract:||Bivalency argument is a widely-used technique that employs forward induction to show impossibility results and lower bounds related to consensus. However, for a synchronous distributed system of n processes with up to t potential and f actual crash failures, applying bivalency argument to prove the lower bound for reaching uniform consensus is still an open problem. In this paper, we address this problem by presenting a bivalency proof that the lower bound for reaching uniform consensus is (f+2)-rounds where 0≤f≤t-2. © 2005 Elsevier B.V. All rights reserved.|
|Source Title:||Information Processing Letters|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 15, 2018
WEB OF SCIENCETM
checked on Feb 6, 2018
checked on Feb 20, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.