Principles of Distributed Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Tutorial Summary: Paxos Explained from Scratch
3. Altmetric Badge
   Chapter 2 On Two-Party Communication through Dynamic Networks
4. Altmetric Badge
   Chapter 3 Eventual Leader Election in Evolving Mobile Networks
5. Altmetric Badge
   Chapter 4 Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs
6. Altmetric Badge
   Chapter 5 α -Register
7. Altmetric Badge
   Chapter 6 How (Not) to Shoot in Your Foot with SDN Local Fast Failover
8. Altmetric Badge
   Chapter 7 Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores
9. Altmetric Badge
   Chapter 8 Reputation-Based Mechanisms for Evolutionary Master-Worker Computing
10. Altmetric Badge
    Chapter 9 State-Driven Testing of Distributed Systems
11. Altmetric Badge
    Chapter 10 Self-stabilizing Resource Discovery Algorithm
12. Altmetric Badge
    Chapter 11 Hybrid Distributed Consensus
13. Altmetric Badge
    Chapter 12 Speculative Concurrent Processing with Transactional Memory in the Actor Model
14. Altmetric Badge
    Chapter 13 An Optimal Broadcast Algorithm for Content-Addressable Networks
15. Altmetric Badge
    Chapter 14 On Local Fixing
16. Altmetric Badge
    Chapter 15 A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention
17. Altmetric Badge
    Chapter 16 VirtuCast: Multicast and Aggregation with In-Network Processing
18. Altmetric Badge
    Chapter 17 Mobile Byzantine Agreement on Arbitrary Network
19. Altmetric Badge
    Chapter 18 On Scheduling Algorithms for MapReduce Jobs in Heterogeneous Clouds with Budget Constraints
20. Altmetric Badge
    Chapter 19 Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors