Chương trình phân phối được khó khăn để thiết kế và thử nghiệm bởi vì nondetermin của họ- Anh tự nhiên, có nghĩa là, một chương trình phân phối có thể triển lãm nhiều hành vi trên các cùng một đầu vào bên ngoài. Nondeterminism này là do sắp xếp lại của tin nhắn trong xử tử khác nhau. Đó là đôi khi mong muốn để kiểm soát này nondeterminism bởi hạn chế tin nhắn có thể đặt trong một hệ thống.
đang được dịch, vui lòng đợi..