Email Record: Mathematical techniques for analyzing concurrent and probabilistic systems /