Email Record: Concurrency in dependable computing /