Portrait

Bernadette Charron-Bost

On the Impossibility of Group Membership

By Deepak Tushar Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost

We prove that the primary-partition group membership problem cannot be solved in asynchronous systems with crash failures, even if one allows the removal or killing of non-faulty processes that are erroneously suspected to have crashed.