First page
Back
Continue
Last page
Overview
Graphics
Message Logging Protocol
Correctness: Messages should be processed in the
same order
before and after the crash