Email Record: A calculus of communicating systems /