Distributed Algorithms
Contents
Index
Distributed Systems Everywhere
Review Sequential Programs
Foundations
Timelines, Snapshots, Logical Clocks
Detection Algorithms
Diffusing Computations
Self Stabilization
What Agents Know
Consensus Impossible with Faulty Agent
Byzantine Faults
Cryptocurrency: Introduction
Distributed Collaboration
Clock Synchronization: Future
Cloud Computing Algorithms: Future
Stream Algorithms
Distributed Data: Future
Continuous Systems: Future
Index
Review of Basics
D
Distributed Systems: Introduction
do-od loops
H
Hoare triples
L
Loops: do-od
Loop termination
Loop variants
N
Nondeterministic iteration
P
Predicates
S
V
Variant functions