Numerate Processes. First, we consider the model where processes can count ′ ′ pair (v, ph ) with ph ≥ ph in its locks set. copies of identical messages. We prove the following two theorems for this model.
Appears in 7 contracts
Samples: Byzantine Agreement, Byzantine Agreement, Byzantine Agreement
