1 | % requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended |
---|
2 | |
---|
3 | \documentclass[letterpaper,12pt,titlepage,oneside,final]{book} |
---|
4 | |
---|
5 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
---|
6 | |
---|
7 | % Latex packages used in the document. |
---|
8 | \usepackage{fullpage,times,comment} |
---|
9 | \usepackage{textcomp} |
---|
10 | \usepackage{epic,eepic} |
---|
11 | \usepackage{dirtytalk} |
---|
12 | \usepackage{xspace} |
---|
13 | \usepackage{subcaption} |
---|
14 | \usepackage{graphicx} |
---|
15 | \usepackage{tabularx} |
---|
16 | \usepackage[acronym]{glossaries} |
---|
17 | \usepackage{listings} % format program code |
---|
18 | \usepackage[flushmargin]{footmisc} % support label/reference in footnote |
---|
19 | \usepackage{mathptmx} % better math font with "times" |
---|
20 | \usepackage[usenames]{color} |
---|
21 | \usepackage[pagewise]{lineno} |
---|
22 | \renewcommand{\linenumberfont}{\scriptsize\sffamily} |
---|
23 | \usepackage{fancyhdr} |
---|
24 | \usepackage{float} |
---|
25 | \input{style} % bespoke macros used in the document |
---|
26 | \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref} |
---|
27 | \urlstyle{rm} |
---|
28 | % \usepackage{breakurl} % used to avoid line breaks inside urls -> uncomment later if needed |
---|
29 | |
---|
30 | \usepackage{tikz} |
---|
31 | \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} |
---|
32 | |
---|
33 | % Setting up the page margins... |
---|
34 | \setlength{\textheight}{9in} |
---|
35 | \setlength{\topmargin}{-0.45in} |
---|
36 | \setlength{\headsep}{0.25in} |
---|
37 | % uWaterloo thesis requirements specify a minimum of 1 inch (72pt) margin at the |
---|
38 | % top, bottom, and outside page edges and a 1.125 in. (81pt) gutter margin (on binding side). |
---|
39 | % While this is not an issue for electronic viewing, a PDF may be printed, and so we have the same page layout for both printed and electronic versions, we leave the gutter margin in. |
---|
40 | % Set margins to minimum permitted by uWaterloo thesis regulations: |
---|
41 | \setlength{\marginparwidth}{0pt} % width of margin notes |
---|
42 | % N.B. If margin notes are used, you must adjust \textwidth, \marginparwidth |
---|
43 | % and \marginparsep so that the space left between the margin notes and page |
---|
44 | % edge is less than 15 mm (0.6 in.) |
---|
45 | \setlength{\marginparsep}{0pt} % width of space between body text and margin notes |
---|
46 | \setlength{\evensidemargin}{0.125in} % Adds 1/8 in. to binding side of all |
---|
47 | % even-numbered pages when the "twoside" printing option is selected |
---|
48 | \setlength{\oddsidemargin}{0.125in} % Adds 1/8 in. to the left of all pages when "oneside" printing is selected, and to the left of all odd-numbered pages when "twoside" printing is selected |
---|
49 | \setlength{\textwidth}{6.375in} % assuming US letter paper (8.5 in. x 11 in.) and side margins as above |
---|
50 | \raggedbottom |
---|
51 | |
---|
52 | % The following statement specifies the amount of space between paragraphs. Other reasonable specifications are \bigskipamount and \smallskipamount. |
---|
53 | \setlength{\parskip}{\medskipamount} |
---|
54 | |
---|
55 | \newsavebox{\myboxA} % used with subfigure |
---|
56 | \newsavebox{\myboxB} |
---|
57 | |
---|
58 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
---|
59 | |
---|
60 | % Names used in the document. |
---|
61 | |
---|
62 | \newcommand{\Version}{1.0.0} |
---|
63 | \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace} |
---|
64 | |
---|
65 | \newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}} |
---|
66 | \newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}} |
---|
67 | \newcommand{\R}[1]{\Textbf{#1}} |
---|
68 | \newcommand{\B}[1]{{\Textbf[blue]{#1}}} |
---|
69 | \newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}} |
---|
70 | \newcommand{\uC}{$\mu$\CC} |
---|
71 | \newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace} |
---|
72 | \newcommand{\TODO}{{\Textbf{TODO}}} |
---|
73 | |
---|
74 | \input{glossary} |
---|
75 | |
---|
76 | \newsavebox{\LstBox} |
---|
77 | |
---|
78 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
---|
79 | |
---|
80 | \setcounter{secnumdepth}{2} % number subsubsections |
---|
81 | \setcounter{tocdepth}{2} % subsubsections in table of contents |
---|
82 | % \linenumbers % comment out to turn off line numbering |
---|
83 | \makeindex |
---|
84 | \pagestyle{fancy} |
---|
85 | \fancyhf{} |
---|
86 | \cfoot{\thepage} |
---|
87 | \rfoot{v\input{version}} |
---|
88 | |
---|
89 | |
---|
90 | |
---|
91 | %====================================================================== |
---|
92 | % L O G I C A L D O C U M E N T -- the content of your thesis |
---|
93 | %====================================================================== |
---|
94 | \begin{document} |
---|
95 | \newtheorem{theorem}{Theorem} |
---|
96 | |
---|
97 | % For a large document, it is a good idea to divide your thesis |
---|
98 | % into several files, each one containing one chapter. |
---|
99 | % To illustrate this idea, the "front pages" (i.e., title page, |
---|
100 | % declaration, borrowers' page, abstract, acknowledgements, |
---|
101 | % dedication, table of contents, list of tables, list of figures, |
---|
102 | % nomenclature) are contained within the file "thesis-frontpgs.tex" which is |
---|
103 | % included into the document by the following statement. |
---|
104 | %---------------------------------------------------------------------- |
---|
105 | % FRONT MATERIAL |
---|
106 | %---------------------------------------------------------------------- |
---|
107 | \input{frontpgs} |
---|
108 | |
---|
109 | %---------------------------------------------------------------------- |
---|
110 | % MAIN BODY |
---|
111 | %---------------------------------------------------------------------- |
---|
112 | |
---|
113 | \input{intro} |
---|
114 | |
---|
115 | \input{CFA_intro} |
---|
116 | |
---|
117 | \input{CFA_concurrency} |
---|
118 | |
---|
119 | \input{mutex_stmt} |
---|
120 | |
---|
121 | \input{channels} |
---|
122 | |
---|
123 | \input{actors} |
---|
124 | |
---|
125 | \clearpage |
---|
126 | |
---|
127 | % B I B L I O G R A P H Y |
---|
128 | % ----------------------------- |
---|
129 | \addcontentsline{toc}{chapter}{Bibliography} |
---|
130 | \bibliographystyle{plain} |
---|
131 | \bibliography{pl,local} |
---|
132 | \cleardoublepage |
---|
133 | \phantomsection % allows hyperref to link to the correct page |
---|
134 | |
---|
135 | % G L O S S A R Y |
---|
136 | % ----------------------------- |
---|
137 | \addcontentsline{toc}{chapter}{Glossary} |
---|
138 | \printglossary |
---|
139 | \cleardoublepage |
---|
140 | \phantomsection % allows hyperref to link to the correct page |
---|
141 | |
---|
142 | |
---|
143 | \end{document} |
---|