Common Contracts

Agreement in wider environments with weaker assumptions

May 27th, 2012

• Filed
  May 27th, 2012

Abstract. The set agreement problem states that from n proposed values at most n 1 can be decided. Traditionally, this problem is solved using a failure detector in asynchronous systems where processes may crash but do not recover, where processes have different identities, and where all processes initially know the membership. In this paper we study the set agreement problem and the weak- est failure detector used to solve it in asynchronous message passing systems where processes may crash and recover, with homonyms (i.e., processes may have equal identities) and without a complete initial knowledge of the membership.