Email Record: The analysis of concurrent systems :