The Szemeredi property for compact C*-dynamical systems
  Furstenberg's multiple recurrence result for measure theoretic dynamical systems is proved for compact C*-dynamical systems for which the evolution is given by a semigroup with the right cancellation property, a right invariant measure and containing a Folner net. 
Conrad Beyers, Rocco Duvenhage, Anton Stroh