Algebraic Topology and Distributed Computing Page
PowerPoint Tutorial
Distributed and concurrent systems
Protocols
read/write memory
decidability