Define timeout(i, j) ≡ (T = 0)∧ no

Define timeout(i, j) ≡ (T = 0)∧ no message received from process i. The predicate timeout(i, j) will be true whenever i or j executes the F-action once, and then the nor- mal countdown continues. In actual practice, a temporal failure can be caused by an increase in the propagation delay or by a loss of synchronization between the sender and the receiver clocks

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

Определить время ожидания (i, j) ≡ (T = 0) ∧ сообщение не получено, от процесса. Предиката timeout (i, j) будет верным, всякий раз, когда i или j один раз выполняет действие F, а затем и не mal отсчет продолжается. В реальной практике временная ошибка может быть вызвано увеличением задержки распространения или потерей синхронизации между отправителем и приемником часы

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

Определите тайм-аут (I, J) ≡ (T = 0) ∧ сообщение не получено от процесса I. Тайм-аут предикат (I, J) будет справедливо и всякий раз, когда я или J выполняет F-действие один раз, а затем нормаль отсчет продолжается. В реальной практике, временная неудача может быть вызвано увеличением задержки распространения или потерей синхронизации между отправителем и часами приемника

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

определить время ожидания (я, j) ≡ (t = 0) ∧ нет сообщения, полученные от процесса. основное время ожидания (я, j), будут правдой, когда я или J исполняет f-action один раз, и то не - мол отсчет продолжается.на практике, временной провал может быть вызвано ростом полуавтоматические или потери синхронизации между отправителем и получателем часы