Email Record: The Analysis of concurrent systems :