Email Record: Distributed algorithms for message-passing systems /