where last[k] = r implies that duri

where last[k] = r implies that during its last visit to its CS, process k has completed its rth trip

Результаты (русский) 1:

где последний [k] = r означает, что во время своего последнего визита в его CS, процесс k завершил свою поездку rth

Результаты (русский) 2:

где в прошлом [к] = г следует, что во время своего последнего визита в его КС, процесс к завершил свою поездку Rth

Результаты (русский) 3:

если в прошлом [к] = R означает, что во время его последнего визита в ао, процесс к завершила RтH путешествие