\begin{slide}{CSP-Literatur}

S. Brookes, A. W. Roscoe, and D. J. Walker:
\emph{An Operational Semantics for CSP.}
Manuscript, 1988. 

Text:
\url{http://www.cs.cmu.edu/afs/cs.cmu.edu/user/brookes/www/papers/OperationalSemanticsCSP.pdf}

Autor:
\url{http://www.cs.cmu.edu/afs/cs.cmu.edu/user/brookes/www/}


\end{slide}
