\renewcommand{\div}{\operatorname{div}}

\begin{slide}{Divergenz}

Motivation:
  \begin{itemize}
  \item 

ein Prozeß \emph{divergiert},
wenn er unendliche viele $\tau$-Übergänge
direkt nacheinander ausführt
\item
ein divergenter Prozeß hat keine
sequentielle Fortsetzung
\item
durch $P ; Q$ kann man \glqq beobachten,\grqq\
ob $P$ divergiert

  \end{itemize}


\bigskip

Semantik-Begriff erweitern:

$\div(P)=$ Menge aller Spuren, 
die von $P$ zu einem Prozeß führen, der divergiert.

\end{slide}
