TY  - SER
AU  - Alvisi, Lorenzo
TI  - Message Logging Pessimistic Optimistic, Causal, and Optimal
KW  - Message
KW  - Checkpoint
KW  - Resilient Modulus
ER  -