Email Record: Specification and Analysis of Concurrent Systems :