%%\documentstyle[11pt]{article}
\documentstyle{fpca95}

%For final copies of accepted papers:
%\documentstyle[empty]{fpca95}

%Adjustments to reduce blank space

\renewcommand{\topfraction}{1.0}
\renewcommand{\bottomfraction}{1.0}


\input{/home/srco/new/lib/tex/localinputs/epsf.tex}

\input{illustrations}

\begin{document}

\title{Multiprocessor Implementation of Nondeterminate Computations\\
in a\\
Functional Programming Framework}

\author{Jack B. Dennis\\
   MIT Laboratory for Computer Science\\
   Cambridge, MA, 02139, USA\\
   dennis@aj.lcs.mit.edu\\
   and\\
   Guang R. Gao\\
   School of Computer Science, McGill University\\
   Montreal, Canada\\
   gao@andy.cs.mcgill.ca}

\maketitle

\begin{abstract}
\input{abstract}
\end{abstract}

\input{introduction}

\input{background}

\input{model}

\input{memory}

\input{replace}

\input{transact}

\input{integer-set}

\input{other}

\input{conclusion}

\input{acknowledgement}

%\section*{References}
%  ...REFERENCES GO HERE...

\bibliographystyle{plain}

\bibliography{}


\end{document}
