\section{Bisimulation von Prozessen}

\input{bisi/intro}
\input{bisi/def}
\input{bisi/bem}
\input{bisi/dec}



