Need to research the proper way to deterministic choose a leader using (ג & round)
There is a function leader(λ, round) that
identifies the leader. This function can be any deterministic mapping
from λ and round to the identifier of a process as long as it allows
f + 1 processes to eventually assume the leader role.
[Originally posted by @nivBlox]
Need to research the proper way to deterministic choose a leader using (ג & round)