Real time thermal propagtors for massive gauge bosons

We derive Feynman rules for gauge theories exhibiting spontaneous symmetry breaking using the real-time formalism of finite temperature field theory. We also derive the thermal propagators where only the physical degrees of freedom are given thermal boundary conditions. We analyse the abelian Higgs model and find that these new propagators simplify the calculation of the thermal contribution to the self energy.