Crossed products by Hilbert pro-C*-bimodules

We define the crossed product of a pro-C*-algebra A by a Hilbert A-A pro-C*-bimodule and we show that it can be realized as an inverse limit of crossed products of C*-algebras by Hilbert C*-bimodules. We also prove that under some conditions the crossed products of two Hilbert pro-C*-bimodules over strongly Morita equivalent pro-C*-algebras are strongly Morita equivalent.