\batchmode
\documentclass[12pt]{article}

%
\usepackage{psfig}
%


%
\usepackage[spanish]{babel}
%

%
\usepackage{t1enc}

%
\usepackage{latexsym}

%



\topmargin     -1.5 cm
\oddsidemargin  0   cm
\evensidemargin 0   cm
\textwidth     16.5 cm
\textheight    23   cm
%


\newcommand {\convocatoria}{94jun}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \begin{tabular}{c}
{\bf\Large Examen de Programaci\'{o}n Concurrente}\\ 
\hline
{\sc Depto. LSIIS. Unidad de Programaci\'{o}n.}
\end{tabular}
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \psfig{figure=uads.idr,width=8cm}
}

{\newpage
\clearpage
\samepage \psfig{figure=super_y_reg_grafo.idr,height=3in}
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \psfig{figure=editor_v1_grafo1.idr,width=5cm}
}

{\newpage
\clearpage
\samepage \psfig{figure=editor_v1_grafo2.idr,width=16cm}
}

{\newpage
\clearpage
\samepage \begin{tabular}{|l|c|c|c|}
\hline
{\bf \shortstack{Operacion de \\  bloqueo}}&
{\bf \shortstack{Condicion \\  informal \\  de bloqueo}}&
{\bf \shortstack{Condicion \\  codificada \\  de bloqueo}}&
{\bf \shortstack{Variable \\  CONDITION}}\\ 
\hline
\hline
&&&\\ 
{\tt AlmacenarOrden}&
{\tt ordenes} no llena&
{\tt COLA.Llena(ordenes)}&
{\tt permisoAlmacenarOrden}\\ 
\hline
&&&\\ 
{\tt InicioActualizar}&
\shortstack{alguien visualizando u\\ {\tt ordenes} vacia}&
\shortstack{{\tt visualizando OR }\\ {\tt COLA.Vacia(ordenes)}}&
{\tt permisoActualizar}\\ 
\hline
&&&\\ 
{\tt FinActualizar}&---&---&---\\ 
\hline
{\tt InicioVisualizar}&
\shortstack{informacion coherente o\\  alguien actualizando u\\ {\tt
ordenes} no vacia}&
\shortstack{{\tt coherente OR}\\ {\tt visualizando OR }\\ {\tt
COLA.Vacia(ordenes)}}&
{\tt permisoVisualizar}\\ 
\hline
&&&\\ 
{\tt FinVisualizar}&---&---&---\\ 
\hline
\end{tabular}
}

{\newpage
\clearpage
\samepage \begin{tabular}{|l|c|c|c|c|}
\hline
{\bf \shortstack{Operacion que \\  desbloquea}}&
{\bf Post-condicion}&
{\bf \shortstack{Condicion \\  informal de \\  desbloqueo}}&
{\bf \shortstack{Condicion \\  codificada de \\  desbloqueo}}&
{\bf \shortstack{Variable \\  CONDITION}}\\ 
\hline
\hline
&&&&\\ 
{\tt AlmacenarOrden}&
\shortstack{{\tt ordenes} no vacia}&
\shortstack{nadie visualizando\\  y {\tt ordenes} no vacia}&
{\tt NOT visualizando}&
{\tt permisoActualizar}\\ 
\hline
&&&&\\ 
{\tt InicioActualizar}&
\shortstack{{\tt ordenes} no llena y \\  alguien actualizando}&
\shortstack{{\tt ordenes} no llena y \\  alguien actualizando}&
---&
{\tt permisoAlmacenarOrden}\\ 
\hline
&&&&\\ 
{\tt FinActualizar}&
\shortstack{nadie actualizando \\  y visualizado \\  no coherente}&
\shortstack{nadie actualizando, \\  visualizado \\  no coherente y \\ 
{\tt ordenes} no vacia}&
{\tt COLA.Vacia(ordenes)}&
{\tt permisoVisualizar}\\ 
\hline
&&&&\\ 
{\tt InicioVisualizar}&
alguien visualizando&
---&
---&
---\\ 
\hline
&&&&\\ 
{\tt FinVisualizar}&
\shortstack{nadie visualizando \\  y visualizado \\  coherente}&
\shortstack{nadie visualizando, \\  visualizado \\  coherente y\\  {\tt
ordenes} no vacia}&
\shortstack{{\tt NOT}\\ {\tt COLA.Vacia(ordenes)}}&
{\tt permisoActualizar}\\ 
\hline
\end{tabular}
}

\stepcounter{section}

\end{document}
