Email Record: Semantics for concurrency :