\begin{slide}{Zusammenfassung}

  
  \begin{itemize}
  \item 
Petri-Netz, Zustandsübergangssystem,
\item
Kanal, MVar, Agent/Actor
\item
software transactional memory (TVar)
\item
parallele Auswertung funktionaler Programme
(par, pseq)
\item
balancierte folds, 3. Homomorphiesatz
\item
map/reduce
  \end{itemize}

\end{slide}
