Email Record: Modeling and verification of parallel processes :