S(Eu) S(Ap) S(Us)
N(Eu, 1) N(Eu, 2) N(Eu, 3) N(Eu, 4) N(Eu, 5)
N(Us, 1) N(Us, 2) N(Us, 3) N(Us, 4) N(Us, 5)
N(Ap, 1) N(Ap, 2) N(Ap, 3) N(Ap, 4) N(Ap, 5)
N(Eu, 1) changes v=1 and notifies S(Eu), N(Eu, 2), N(Eu, 3) about this value N(Eu, 2) notifies S(Eu) that the change is registered N(Eu, 3) notifies S(Eu) that the change is registered