Consider an execution a of LehmannR

Consider an execution a of LehmannRabin in which the processes take steps in roundrobin order and always make the same random choices. Note that c~ is a fair execution (of the nondeterministic version of the system). In a, no process ever reaches C.

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

Hãy xem xét một thực hiện một số LehmannRabin trong đó các quá trình thực hiện các bước theo thứ tự roundrobin và luôn luôn làm cho những lựa chọn ngẫu nhiên cùng một. Lưu ý rằng c ~ là một thực hiện công bằng (của nondeterministic Phiên bản của hệ thống). Không có một, quá trình bao giờ đạt đến C.

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

Hãy xem xét một thực hiện một số LehmannRabin trong đó các quá trình thực hiện các bước để roundrobin và luôn luôn có những lựa chọn ngẫu nhiên cùng. Lưu ý rằng c ~ là một thực hiện công bằng (các phiên bản toán không đơn định của hệ thống). Trong một, không có quá trình từng đạt C.