Distributed Computing : Principles, Algorithms, and Systems (Paperback)

1. Introduction; 2. A model of distributed computations; 3. Logical time; 4. Global state and snapshot recording algorithms; 5. Terminology and basic algorithms; 6. Message ordering and group communication; 7. Termination detection; 8. Reasoning with knowledge; 9. Distributed mutual exclusion algorithms; 10. Deadlock detection in distributed systems; 11. Global predicate detection; 12. Distributed shared memory; 13. Checkpointing and rollback recovery; 14. Consensus and agreement algorithms; 15. Failure detectors; 16. Authentication in distributed system; 17. Self-stabilization; 18. Peer-to-peer computing and overlay graphs; Index.