lookaheadδ ((s0,e0),tl0, EIT0) = min {tn0, EIT0 + D0} (1)

cu tn0=tl0+ta0(s0), ca de obicei.
Pentru a fi intru totul intelesi vom cere ca:
lookaheadδ(q0, tl0, EIT0)≥min{EIT0, tn0}
adica estimarea timpului celei mai devreme iesiri calculate sa nu fie mai mica decat timpul urmatorului
eveniment posibil. Spunem ca avem o lookahead pozitiva, daca:
lookahead0(q0, tl0, EIT0) > EIT0 (2)
adica functia “lookahead” poate prezice o perioada nenula in care o intrare se propaga intr-o iesire.
Urmatoarea teorema stabileste absenta violarilor de cauzalitate:
Teorema 1:
Nu exista violari de cauzalitate.
Un simulator i al unui DEVS atomic care prelucreaza evenimente numai cand ele au valoarea
timpului mai mica sau egala cu EITi calculata anterior prelucreaza evenimentele in ordinea valorii
timpilor lor.
Dem: rezulta direct din definitia lui EITi, ca fiind minimul tuturor EOTo, op al tuturor
componentelor δ care influenteaza componentele i.