Logik und Formale Methoden

Model Checking of Randomized Leader Election Algorithms

Model Checking Of Randomized Leader Election Algorithms - Promela Code