Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV
![FRLLE: a failure rate and load-based leader election algorithm for a bidirectional ring in distributed systems | SpringerLink FRLLE: a failure rate and load-based leader election algorithm for a bidirectional ring in distributed systems | SpringerLink](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11227-020-03286-y/MediaObjects/11227_2020_3286_Fig10_HTML.png)
FRLLE: a failure rate and load-based leader election algorithm for a bidirectional ring in distributed systems | SpringerLink
![Design of a transaction recovery instance based on bi-directional ring election algorithm for crashed coordinator in distributed database systems | Semantic Scholar Design of a transaction recovery instance based on bi-directional ring election algorithm for crashed coordinator in distributed database systems | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/07f92d981c696717e7ce145d23cd3150343e7ad0/2-Figure1-1.png)
Design of a transaction recovery instance based on bi-directional ring election algorithm for crashed coordinator in distributed database systems | Semantic Scholar
![FRLLE: a failure rate and load-based leader election algorithm for a bidirectional ring in distributed systems | SpringerLink FRLLE: a failure rate and load-based leader election algorithm for a bidirectional ring in distributed systems | SpringerLink](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11227-020-03286-y/MediaObjects/11227_2020_3286_Fig6_HTML.png)