Email Record: Compositionality, concurrency, and partial correctness :