Title: Using failure detectors to solve consensus in asynchronous shared-memory systems