Informally speaking, this means tha

Informally speaking, this means that from any reachable state in which some process is in T, with probability at least p and within time t, some process is in C. The probability 1 progress condition can then be proved by repeated application of this claim.

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

Nói chung, điều này có nghĩa rằng từ thể truy cập bất kỳ nhà nước trong đó một số quá trình là T, với xác suất ít p và trong thời gian t, một số quá trình trong C. Điều kiện 1 tiến trình xác suất có thể sau đó được chứng minh bởi các ứng dụng lặp đi lặp lại của tuyên bố này.

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

Nói cách không chính thức, điều này có nghĩa là từ bất kỳ nhà nước có thể truy cập, trong đó một số quá trình trong T, với xác suất ít nhất là p và trong thời gian t, một số quá trình là trong C. Xác suất 1 điều kiện tiến bộ sau đó có thể được chứng minh bằng cách áp dụng lặp đi lặp lại các tuyên bố này.