% -*- Mode: LaTeX -*-
\documentstyle{fpca95}
\input{laktex}
\input{illustrations}
\input{macros}
\def\illustrationfileprefix{./}

\renewcommand{\floatpagefraction}{.90}
\renewcommand{\topfraction}{.90}
\renewcommand{\textfraction}{.10}
\renewcommand{\dblfloatpagefraction}{.75}
\renewcommand{\dbltopfraction}{.75}

\newmath\whnf[1]{\lbx{W}(#1)}
\newmath\te[1]{{\bf{}TE}\dlb#1\drb}
\newmath\ts[1]{{\bf{}TS}\dlb#1\drb}
\newmath\rb[1]{{\cal{}RB}\dlb#1\drb}

\begin{document}
\bibliographystyle{plain}

\title{Semantics of Barriers in a Non-Strict, Implicitly-Parallel
Language}

\author{\begin{tabular}{c}
Shail Aditya \hmmmm \hmm Arvind \\
MIT Laboratory for Computer Science \\
{\tt \{shail,arvind\}@abp.lcs.mit.edu}
\end{tabular} \and 
\begin{tabular}{c}
Joseph E. Stoy \\
Oxford University Computing Laboratory \\
{\tt joe.stoy@comlab.ox.ac.uk}
\end{tabular}}

\maketitle

\input{abstract}
\input{intro}
\input{eager}
\input{uses}
\input{kernel}
\input{dataflow}
\input{frag}
\input{alter}
\input{conclude}
\input{acks}
\bibliography{bar}
\end{document}
