Lookahead
Each federate A using logical time declares a lookahead value LA; the time stamp of any TSO event generated by the federate must be LTA+ LA
- lookahead may change during the execution, but cant decrease instantly
- used in virtually all conservative synchronization protocols
- also applies to event retraction
Lookahead is necessary to allow concurrent processing of events with different time stamps (unless optimistic event processing is used)