Asynchronous LP Simulation
lcc: Although sufficient, it is not always necessary to obey lcc, because
two events occurring within one and the same LP may be concurrent (independent of each other) and could thus be processed in any order.
Mechanisms: Two main categories of mechanisms adhere to the lcc in different ways:
- conservative methods strictly avoid lcc violations, even if there is
some nonzero probability that an event ordering mismatch will not occur.
- optimistic methods hazardously use the chance of processing events even if there is non-zero probability for an event ordering mismatch.