(1) Quy trình P0 khởi phát sóng đáng tin cậy: (1a) phát sóng thông điệp M cho tất cả các quá trình.
(2) Một quá trình Pi, 1 ≤ i ≤ n, nhận được thông điệp M: (2a) nếu M đã không nhận được trước đó
(2b) phát sóng M cho tất cả các quy trình;
(2c) cung cấp M vào ứng dụng.
đang được dịch, vui lòng đợi..
