Every message sent by a sender is r

Every message sent by a sender is received by the receiver, and every message received by a receiver is sent by some sender in the system.

Axiom 2

Each message has an arbitrary but finite, nonzero propagation delay.

Axiom 3

Each channel is a FIFO channel. Thus, if x and y are two messages sent by one process P to another process Q and x is sent before y, then x is also received by Q before y.

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

Приемник получает каждое сообщение, полученное от отправителя, и каждое сообщение, полученное приемник отправляется некоторые отправителя в системе.Аксиома 2Каждое сообщение имеет произвольно но задержка небесконечный, ненулевой распространения.Аксиома 3Каждый канал является каналом FIFO. Таким образом если x и y являются два сообщения, отправленные одним процессом P в другой процесс Q и x отправляется до y, то x также получен от Q до y.

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

Каждое сообщение , посланное отправителем принимается приемником, и каждое сообщение принимается приемником посылается некоторым отправителем в системе.

Аксиома 2

Каждое сообщение имеет произвольное , но конечное, отличное от нуля задержку распространения.

Аксиому 3

Каждый канал является каналом FIFO , Таким образом, если х и у являются два сообщения , посылаемые одним процессом P другому процессу Q и X посылается , прежде чем у, то х также получено Q до того у.

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

каждое сообщение, направленное отправитель получает телефонную трубку, и все сообщения приемник, за некоторыми отправителя в системе.аксиома 2каждое сообщение было произвольным, но ограниченные, nonzero полуавтоматические.аксиома 3каждый канал - это FIFO канала.таким образом, если X и Y - два сообщения, отправленные из процесса P другому процессу Q и х отправляется до Y, то X также получил в перед.