Email Record: Process algebra /