pro-$C^{\ast }$-algebras

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