Semiclassical coherent state propagator for systems with spin

We derive the semiclassical limit of the coherent state propagator for systems with two degrees of freedom of which one degree of freedom is canonical and the other a spin. Systems in this category include those involving spin-orbit interactions and the Jaynes-Cummings model in which a single electromagnetic mode interacts with many independent two-level atoms. We construct a path integral representation for the propagator of such systems and derive its semiclassical limit. As special cases we consider separable systems, the limit of very large spins and the case of spin 1/2.