Email Record: The architecture of concurrent programs