Email Record: Semantics for Concurrency :