combMixedTheo.tex~

   1 \newcommand{\Nats}[0]{\ensuremath{\mathbb{N}}}
   2
   3 \begin{Theorem}{}
   4   Given an initial  configuration $X^0 =  (X_1^0, \ldots, X_n^0)$  and a
   5   strategy  $(J^t)^{t  \in \Nats}$.   If chaotic iterations with  strategy
   6   $(J^t)^{t \in \Nats}$ converge to some fixed-point, then mixed iterations with
   7   uniform delays  with the same strategy  $(J^t)^{t \in \Nats}$  converge to the
   8   same fixed-point.
   9 \end{Theorem}
  10 \begin{Proof}
  11 \begin{itemize}
  12 \item Element renaming wrt. a partial order
  13 \item Induction on the SCC index
  14 \end{itemize}
  15 \end{Proof}