Common use of Numerate Processes Clause in Contracts

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.