Recall that when message M5,1 is de

Recall that when message M5,1 is delivered to P6, only “M5,1.Dests = {P4}” is added to Log6. Further, P6 propagates only “M5,1.Dests = {P4}” (from
Log6) on message M6,2, and this conveys the current implicit informa- tion “M5,1 has been delivered to P6,” by its very absence in the explicit information.

Kết quả (Việt) 2:

Nhớ lại rằng khi nhắn M5,1 được gửi đến P6, chỉ có "M5,1.Dests = {P4}" được thêm vào Log6. Hơn nữa, P6 truyền chỉ "M5,1.Dests = {P4}" (từ
Log6) về nhắn M6,2, và điều này truyền tải các tion informa- ngầm hiện nay "M5,1 đã được gửi đến P6," bởi rất vắng mặt của nó trong thông tin rõ ràng.