Hilbert pro-$C^{\ast }$-bimodules

Crossed products of Hilbert pro-C∗-bimodules and associated pro-C∗-algebras