Election safety: at any moment, at most one node holds a won election in a given current term

Initializing...

Election safety: at any moment, at most one node holds a won election in a given current term · Prove2Me