Изменения

Процесс может быть в ''активном'' или ''пассивном состоянии''. Изначально все активны.

Процесс может отправить большое сообщение, только если он активен. После отправки он становится пассивным и не может ни отправлять, ни принимать сообщения, пока не получит от получателя ack.

Чтобы отправить сообщение большему процессу <tex>P_j</tex>, процесс <tex>P_i</tex> должен получить разрешение от <tex>P_j</tex>. <tex>P_j</tex> может разрешить только в активном состоянии. Разрешив, он становится пассивным и остается в этом состоянии, пока не получает сообщение, которое разрешил.