% 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[labelformat=simple]{subfig}
% \renewcommand{\thesubfigure}{(\alph{subfigure})}
\usepackage{subcaption}
% \usepackage{subfigure}
\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}
\renewcommand{\linenumberfont}{\scriptsize\sffamily}
\usepackage{fancyhdr}
\usepackage{float}
\usepackage{siunitx}
\sisetup{ binary-units=true }
\input{style}							% bespoke macros used in the document
\usepackage{url}
\usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
\usepackage{breakurl}
\urlstyle{rm}

\usepackage{tikz}
\def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}

\setlength{\topmargin}{-0.45in}				% move running title into header
\setlength{\headsep}{0.25in}

\newsavebox{\myboxA}					% used with subfigure
\newsavebox{\myboxB}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% 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}{2}                           % number subsubsections
\setcounter{tocdepth}{2}                              % subsubsections in table of contents
% \linenumbers                                       	% comment out to turn off line numbering
\makeindex
\pagestyle{fancy}
\fancyhf{}
\cfoot{\thepage}
\rfoot{v\input{version}}



%======================================================================
%   L O G I C A L    D O C U M E N T -- the content of your thesis
%======================================================================
\begin{document}
\newtheorem{theorem}{Theorem}

% For a large document, it is a good idea to divide your thesis
% into several files, each one containing one chapter.
% To illustrate this idea, the "front pages" (i.e., title page,
% declaration, borrowers' page, abstract, acknowledgements,
% dedication, table of contents, list of tables, list of figures,
% nomenclature) are contained within the file "thesis-frontpgs.tex" which is
% included into the document by the following statement.
%----------------------------------------------------------------------
% FRONT MATERIAL
%----------------------------------------------------------------------
\input{frontpgs}

%----------------------------------------------------------------------
% MAIN BODY
%----------------------------------------------------------------------

\input{intro}

\input{CFA_intro}

\input{CFA_concurrency}

\input{mutex_stmt}

\input{channels}

\input{actors}

\clearpage

% B I B L I O G R A P H Y
% -----------------------------
\addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{plain}
\bibliography{pl,local}
\cleardoublepage
\phantomsection		% allows hyperref to link to the correct page

% G L O S S A R Y
% -----------------------------
\addcontentsline{toc}{chapter}{Glossary}
\printglossary
\cleardoublepage
\phantomsection		% allows hyperref to link to the correct page


\end{document}