1. (Independent progress for the tr

1. (Independent progress for the trying region) If Ui is in T and all conflicting users are in R, then at some later point either Ui enters C or some conflicting user enters T. 2. (Independent progress for the exit region) If Ui is in E and all con- flicting users are in R, then at some later point either Ui enters R or some conflicting user enters T.

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

1. (độc lập tiến độ cho khu vực cố gắng) nếu giao diện trong T và tất cả người dùng xung đột trong R, sau đó tại một số điểm sau hai giao diện người dùng nhập vào C hoặc dùng một số xung đột nhập T. 2. (Độc lập tiến độ cho khu vực xuất cảnh) Nếu giao diện người dùng là e và tất cả côn-flicting dùng trong R, sau đó tại một số điểm sau đó một trong hai giao diện người dùng vào R hoặc dùng một số xung đột nhập T.

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

1. (tiến trình độc lập cho khu vực cố gắng) Nếu Ui là trong T và tất cả người dùng mâu thuẫn là trong R, sau đó tại một số điểm sau hai Ui vào C hoặc một số người dùng xung đột vào T. 2. (tiến trình độc lập cho khu vực xuất cảnh) Nếu Ui là trong E và tất cả người dùng flicting niệm là trong R, sau đó tại một số điểm sau hai Ui vào R hoặc một số người dùng xung đột vào T.