Includes supplementary material: sn.pub/extras
Rachid Guerraoui
Routing SPIN ad-hoc networks algorithms data structure data structures distributed algorithms distributed applications distributed computing distributed objects distributed systems graph algorithms network computing peer-to-peer systems verification