Common use of System Model Clause in Contracts

System Model. Processes The message passing system is formed by a set Π of processes, such that the size n of Π is greater than 1. We use id(i) to denote the identity of the process pi ∈ Π. Homonymy There could be homonymous processes [2], that is, different pro- cesses can have the same identity. More formally, let ID be the set of different identities of all processes in Π. Then, 1 ≤ |ID| ≤ n. So, in this system, id(i) can be equal to id(j) and pi be different of pj (we say in this cases that pi and pj are homonymous). Note that anonymous processes [5] are a particular case of homonymy where all processes have the same identity, that is, id(i) = id(j), for all pi and pj of Π (i.e., |ID| = 1).