Semiclassical Analysis in Infinite Dimensions: Wigner Measures

We review some aspects of semiclassical analysis for systems whose phase space is of arbitrary (possibly infinite) dimension. An emphasis will be put on a general derivation of the so-called Wigner classical measures as the limit of states in a noncommutative algebra of quantum observables.