We define and analyse the
concept of a crossed product of a C∗-algebra A by a semigroup. For a large class of
semigroups we show that the crossed product is primitive if A is, and our
constructions also give rise to simple C∗-algebras. Conditions are given for when the
crossed product is type I or nuclear, and when covariant representations of a
C∗-dynamical system give rise to faithful and/or irreducible representations of the
crossed product.