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.