Email Record: Formal techniques for distributed objects, components, and systems