TY - GEN

T1 - Deterministic objects

T2 - 35th ACM Symposium on Principles of Distributed Computing, PODC 2016

AU - Afek, Yehuda

AU - Ellen, Faith

AU - Gafni, Eli

N1 - Publisher Copyright:
© 2016 ACM.

PY - 2016/7/25

Y1 - 2016/7/25

N2 - For all integers m ≥ 2, we construct an innite sequence of deterministic objects of consensus number m with strictly increasing computational power. In particular, this refutes the Common2 Conjecture, which claimed that every deter- ministic object of consensus number 2 has a deterministic, wait-free implementation from 2-consensus objects and reg- isters in a system with any nite number of processes.

AB - For all integers m ≥ 2, we construct an innite sequence of deterministic objects of consensus number m with strictly increasing computational power. In particular, this refutes the Common2 Conjecture, which claimed that every deter- ministic object of consensus number 2 has a deterministic, wait-free implementation from 2-consensus objects and reg- isters in a system with any nite number of processes.

KW - Consistent ordered partition

KW - Deterministic consensus hierarchy

KW - Set-consensus

KW - Simulation

KW - Valency ar-gument

UR - http://www.scopus.com/inward/record.url?scp=84984704918&partnerID=8YFLogxK

U2 - 10.1145/2933057.2933116

DO - 10.1145/2933057.2933116

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84984704918

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 97

EP - 106

BT - PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing

PB - Association for Computing Machinery

Y2 - 25 July 2016 through 28 July 2016

ER -