\begin{slide}{Einleitung}

CSP $=$ abstraktes Modell für Kommunikation von Prozessen

C. A. R. Hoare 1978, 

Grundlage für Prozeßmodell in Occam, Ada, Go, \ldots

\bigskip

Definition (stark vereinfacht):

\emph{CSP $=$ (endliche) Automaten, genauer betrachtet}

\bigskip

\begin{itemize}
\item Zustand $=$ Zustand
\item Alphabet $=$ atomare Ereignisse
\item Sprach-Äquivalenz $\not\Rightarrow$ Prozeß-Äquivalenz
\end{itemize}

\end{slide}
