Informally speaking, this means tha

Informally speaking, this means that from any reach- p able 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 bất kỳ tiếp cận-p có thể 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:

Thức nói, điều này có nghĩa là từ bất kỳ reach- p nhà nước có thể trong đó một số quá trình là 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ủa tuyên bố này.