Common Contracts
1 similar null contracts
UNO-CS-TR-97-1May 18th, 2008
Note that the number of transmissive symmetric values si\j in Pi\j must be the same as the number of transmissive symmetric values received by each process i and j. For this reason, no subscript is used to associate si\j to either i or j. For the same reason !si\j is not associated to either of the processes.
