Assumptions (cont.)
(A3) A message sent from p to q (correct processors) on a correct link (p,q) arrives and is processed at q in less than ldel real time units (link delay).
(A4) No network partitions: any two correct processes are linked by at least one chain of correct links and intermediate processors.
A3+A4 => ndel < (N-1)ldel