Compact composition operators on Hardy spaces of a half-plane