State Machines Sabina Petride. General Problems zConsensus ya particular problem yalgorithms and different formulations ycorrectness and time analysis.