ABSTRACT
We distinguish between the real system (oen called the physical system) and the simulated version that is expected to mimic the real system. e correctness of simulation requires that the simulated version preserve the temporal order of events in the physical system. Considering the physical system to be message based, a typical event is the sending of a message m at a time t. In the simulated environment, we will represent it by a pair (t, m). e fundamental correctness criteria in simulation are as follows:
Criterion 1: If the physical system produces a message m at time t, then the simulated version must schedule an event (t, m).
