The final claim combines the previo

The final claim combines the previous two. It bounds the time from when a process i is waiting for its first fork and both neighbors are favorably oriented, until someone reaches L.

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

Yêu cầu bồi thường cuối cùng kết hợp trước hai. Giới hạn thời gian từ khi một quá trình, tôi đang chờ đợi ngã ba đầu tiên của nó và hàng xóm đều được định hướng thuận lợi, cho đến khi ai đó đạt L.

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

Các tuyên bố chính thức kết hợp trước đó hai. Nó giáp với thời gian từ khi một quá trình tôi đang chờ ngã ba đầu tiên của nó và cả hàng xóm đang thuận lợi định hướng, cho đến khi một người nào đó đạt L.