Изменения

'''var''' M:array[l..N, 1..N] of integer initially 0; To send a message t o Pjto <tex>P_j</tex>: M [ i , j ] := M [ i , j ] + 1; send M as part of the message; To receive a message with matrix W from Pj: '''enabled if ''' ( W [ j , i] = M [ j , i] + 1) <tex>\land \forall k \neq j M[k, i] \geqslant W[k, i]</tex> M := max(M, W)