A new look at membership services (extended abstract)
Gil Neiger · 1996
Psrmiseion to mckc digitehsrd ccpiss of d or partof tits outctil lbr pcNooelor Clecsroom usei-~withoutfeo pmvidsd thet the c~ies Srenotmedc ordictributed for I&w Conunewiel Sdventege, Ibe c~yright ootics, ths title of the pub qtton end its dets eppear, d notice IS givco thet ocpyright is by permission of the ACM, fnc.To COPYctbenviee, to mpublieh, to pod on scrvcm or to rediitc to lists, requires cpecific pmmission Sndlor fe.PODC!'%, Philadelphia PA, USA o 199(j ACM &897914~7J9(jJ05, .$3-Mthat, at all times, at least one process be aware of a group's membership.However, the new specification cannot be trivially satisfied because it prohibits a potential solution from arbitrarily removing a process for no reason.This specification thus represents an important step towards a better understanding of membership services in completely asynchronous systems.