Email Record: Specification and analysis of concurrent systems :