% requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended % inline code �...� (copyright symbol) emacs: C-q M-) % red highlighting �...� (registered trademark symbol) emacs: C-q M-. % blue highlighting �...� (sharp s symbol) emacs: C-q M-_ % green highlighting �...� (cent symbol) emacs: C-q M-" % LaTex escape �...� (section symbol) emacs: C-q M-' % keyword escape �...� (pilcrow symbol) emacs: C-q M-^ % math escape $...$ (dollar symbol) \documentclass[letterpaper,12pt,titlepage,oneside,final]{book} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Latex packages used in the document. \usepackage[T1]{fontenc} % allow Latin1 (extended ASCII) characters \usepackage{textcomp} \usepackage[latin1]{inputenc} \usepackage{fullpage,times,comment} \usepackage{epic,eepic} \usepackage{upquote} % switch curled `'" to straight \usepackage{dirtytalk} \usepackage{calc} \usepackage{xspace} \usepackage{graphicx} \usepackage{tabularx} \usepackage{multicol} \usepackage[acronym]{glossaries} \usepackage{varioref} \usepackage{listings} % format program code \usepackage[flushmargin]{footmisc} % support label/reference in footnote \usepackage{latexsym} % \Box glyph \usepackage{mathptmx} % better math font with "times" \usepackage[usenames]{color} \usepackage[pagewise]{lineno} \usepackage{fancyhdr} \renewcommand{\linenumberfont}{\scriptsize\sffamily} \input{style} % bespoke macros used in the document \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref} \usepackage{breakurl} \usepackage{tikz} \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} \renewcommand{\UrlFont}{\small\sf} \setlength{\topmargin}{-0.45in} % move running title into header \setlength{\headsep}{0.25in} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Names used in the document. \newcommand{\Version}{1.0.0} \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace} \newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}} \newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}} \newcommand{\R}[1]{\Textbf{#1}} \newcommand{\B}[1]{{\Textbf[blue]{#1}}} \newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}} \newcommand{\uC}{$\mu$\CC} \newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace} \newcommand{\TODO}{{\Textbf{TODO}}} \input{glossary} \newsavebox{\LstBox} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \setcounter{secnumdepth}{3} % number subsubsections \setcounter{tocdepth}{3} % subsubsections in table of contents % \linenumbers % comment out to turn off line numbering \makeindex \pagestyle{fancy} \fancyhf{} \cfoot{\thepage} \rfoot{v\input{version}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{document} % \linenumbers \title{Concurrency in \CFA} \author{Thierry Delisle \\ School of Computer Science, University of Waterloo, \\ Waterloo, Ontario, Canada } \maketitle \tableofcontents \input{intro} \input{cforall} \input{basics} \input{concurrency} \input{parallelism} \input{together} \input{future} \chapter{Conclusion} \section*{Acknowledgements} \clearpage \printglossary[type=\acronymtype] \printglossary \clearpage \bibliographystyle{plain} \bibliography{cw92,distSharedMem,lfp92,mlw92,parallel,parallelIO,partheory,pl,pldi92,ps,realtime,techreportsPAB,visual,local} \end{document}