Email Record: Concurrency, compositionality, and correctness :