LY1: The initiator records its own

LY1: The initiator records its own state. When it needs to send a message m to another process, it sends (m, red).
LY2: When a process receives a message (m, red), it first records its state if it has not already done so and then accepts the message m.

Результаты (русский) 1:

LY1: Инициатор записывает свое собственное состояние. Когда необходимо отправить сообщение m в другой процесс, он посылает (м, красный).LY2: Когда процесс получает сообщение (м, красный), он сначала записывает свое состояние если он еще не сделали этого и затем принимает сообщение m.

Результаты (русский) 2:

LY1: Инициатор записывает свое собственное состояние. Когда он должен послать сообщение м другому процессу, он посылает (м, красный).
LY2: Когда процесс получает сообщение (м, красный), он сначала записывает свое состояние , если это не было сделано ранее , а затем принимает сообщение м.

Результаты (русский) 3:

ly1: инициатором его собственного государства.в тех случаях, когда необходимо отправить сообщение м другому процессу, он посылает m, красный).ly2: когда процесс получения сообщения (m, красный), его первые записи его государства, если они еще не сделали этого и потом принимает сигнал.