Does anyone know of a reference in which homotopy coinvariants of some coaction in the category of spectra are explicitly calculated? Particularly in the case of Hopf-Galois extensions of ring spectra.
-----(EDIT)------ I should mention that I later realized the above concept is not in John Rognes' monograph. It is in Kathryn Hess' paper on homotopical Hopf-Galois extensions and Fridolin Roth's recent dissertation. My apologies to anyone who went looking in Rognes' paper.