Email Record: Process algebra and probabilistic methods :