Representation of completely positive maps between partial *-algebras

A characterization of the invariant completely positive conjugate-bilinear maps from an arbitrary partial *-algebra to a semiassociative, locally convex partial *-algebra is given. The result generalizes Stinespring's characterization of completely positive maps onC*-algebras, as well as its recent extensions by a number of authors.