Email Record: Introduction to distributed algorithms /