Email Record: Design and analysis of distributed algorithms /