  This paper presents the complete classification of E_0-semigroups by product
systems in the case of von Neumann correspondences, and under countability
assumptions in the case of C*-correspondences.
