First page Back Continue Last page Overview Text
Notes:
Parallel simulation is challenging, how to ensure simulation accuracy?
First figure shows the original timeline when messages are delivered in simulator
It turned out message e1 came too early, it actually should received at a later time as in second figure. This timeline is not correct because the doWork() is not executed even before message e1 is received