Email Record: Communicating sequential processes :