Rule 1: An active process with cred

Rule 1: An active process with credit X, while sending a message to another process, transfers a credit of Y = X/2 to it via the message. If the sender process sends the activation message immediately before becoming passive, it may also transfer its whole credit X with the activation message.
Rule 2: When a message with credit share Y arrives at a passive process, it becomes active and the credit share Y is transferred to the activated process.
Rule 3: When an active process receives a message with credit share Y, it remains active and Y is returned to the initiator. The algorithm assumes that each process has a direct communication channel with the initiator.

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

Правило 1: Активный процесс с кредитом X, при отправке сообщения другому процессу, передает кредит Y = X / 2 к нему через сообщение. Если процесс отправляет сообщение активации непосредственно перед тем, как стать пассивным, он может также передавать свой весь кредит X сообщение активации.Правило 2: При получении сообщения с кредитной доли Y на пассивный процесс, он становится активным и кредитная доля Y передается активированный процесс.Правило 3: Когда активный процесс получает сообщение с кредитной доли Y, он остается активным и Y возвращается инициатору. Алгоритм предполагает, что каждый процесс имеет канал прямой связи с инициатором.

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

Правило 1: активный процесс с помощью кредитной X, при отправке сообщения другому процессу, передает кредит в размере Y = X / 2 к нему через сообщение. Если процесс отправитель немедленно отправляет сообщение об активации , прежде чем стать пассивным, оно также может передавать всю свою кредитную X с сообщением активации.
Правило 2: Когда сообщение с кредитной доли Y поступает на пассивный процесс, он становится активным и кредит доля Y переносится на активированном процесс.
Правило 3: Когда активный процесс получает сообщение с кредитной доли Y, он остается активным и Y возвращается к инициатору. Алгоритм предполагает , что каждый процесс имеет прямой канал связи с инициатором.

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

правило 1: активный процесс с кредитными X, одновременно посылая сообщение другому процессу, передает кредитной y = x / 2 к нему через сообщение.если отправитель направляет сообщение непосредственно процесс активации, прежде чем стать пассивным, он может также передать его весь кредитный X с активизацией сообщение.правило 2: когда сообщение с кредитными долю y прибывает на пассивный процесс, он становится активным и кредитов доля y передается в действие процесс.правило 3: когда активный процесс получения сообщения с кредитами, доля Y, он остается активным и y возвращается инициатора.он предполагает, что каждый процесс имеет прямой канал связи с инициатором.