Email Record: Specification and verification of concurrent systems /