Please use this identifier to cite or link to this item:
https://doi.org/10.1016/j.ipl.2005.08.002
DC Field | Value | |
---|---|---|
dc.title | A bivalency proof of the lower bound for uniform consensus | |
dc.contributor.author | Wang, X. | |
dc.contributor.author | Teo, Y.M. | |
dc.contributor.author | Cao, J. | |
dc.date.accessioned | 2013-07-04T07:44:37Z | |
dc.date.available | 2013-07-04T07:44:37Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | 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 | |
dc.identifier.issn | 00200190 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/39571 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.ipl.2005.08.002 | |
dc.source | Scopus | |
dc.subject | Bivalency argument | |
dc.subject | Distributed computing | |
dc.subject | Synchronous distributed systems | |
dc.subject | Uniform consensus | |
dc.type | Article | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1016/j.ipl.2005.08.002 | |
dc.description.sourcetitle | Information Processing Letters | |
dc.description.volume | 96 | |
dc.description.issue | 5 | |
dc.description.page | 167-174 | |
dc.description.coden | IFPLA | |
dc.identifier.isiut | 000233157300003 | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.