\documentstyle[twoside,11pt,umlaut,german,times,
               florian-named,declarations,epsf,a4]{report}

\frenchspacing
\setlength{\parindent}{0pt}
\setlength{\parskip}{5pt plus 2pt minus 1pt}
\newcommand{\e}[1]{{\em #1\/}}
\newcommand{\k}[1]{{\bf #1}}
\newcommand{\comment}[1]{\par{[*** #1 ***]}\par}
\newcommand{\p}[1]{{\frenchspacing\sl{}#1}}
\newcommand{\reply}[1]{{\bf$\Rightarrow$} #1}
\def\longhrule{\par\hbox to \linewidth{\hss
               \hbox to \textwidth{\hrulefill}}\par}

\begin{document}
hallo

\begin{minipage}[b]{3in}
\begin{xple}
\k{let} \k{var} c1 = 0  \k{and}  \k{var} c2 = 0  \k{and}  \k{var} turn = 1

\k{let} funcA() = 
  \k{begin}
    c1 := 1
    \k{while} c2 == 1 \k{do}
      \k{if} turn == 2 \k{then}
        c1 := 0
        \k{while} turn == 2  \k{do} \k{end}
        c1 := 1
      \k{end}
    \k{end}
    (* kritischer Abschnitt *)
    c1 := 0
    turn := 2
  \k{end}
\end{xple}
\end{minipage}
\begin{minipage}[b]{3in}
\begin{xple}
\k{let} funcB() = 
  \k{begin}
    c2 := 1
    \k{while} c1 == 1 \k{do}
      \k{if} turn == 1 \k{then}
        c2 := 0
        \k{while} turn == 1  \k{do} \k{end}
        c2 := 1
      \k{end}
    \k{end}
    (* kritischer Abschnitt *)
    c2 := 0
    turn := 1
  \k{end}
\end{xple}
\end{minipage}



\begin{figure}

\begin{minipage}[b]{2.5in}
\begin{center}\leavevmode
\epsfxsize=0.25\textwidth \epsfbox{pictures/lock.eps}
\end{center}
\end{minipage}
\begin{minipage}[b]{2.5in}
\begin{center}\leavevmode
\epsfxsize=0.25\textwidth \epsfbox{pictures/barrier.eps}
\end{center}
\end{minipage}

\caption{lock und barrier}
\end{figure}

\end{document}
