1 | %====================================================================== |
---|
2 | % University of Waterloo Thesis Template for LaTeX |
---|
3 | % Last Updated August 2022 |
---|
4 | % by IST Client Services, |
---|
5 | % University of Waterloo, 200 University Ave. W., Waterloo, Ontario, Canada |
---|
6 | % FOR ASSISTANCE, please send mail to helpdesk@uwaterloo.ca |
---|
7 | |
---|
8 | % DISCLAIMER |
---|
9 | % To the best of our knowledge, this template satisfies the current uWaterloo thesis requirements. |
---|
10 | % However, it is your responsibility to assure that you have met all requirements of the University and your particular department. |
---|
11 | |
---|
12 | % Many thanks for the feedback from many graduates who assisted the development of this template. |
---|
13 | % Also note that there are explanatory comments and tips throughout this template. |
---|
14 | %====================================================================== |
---|
15 | % Some important notes on using this template and making it your own... |
---|
16 | |
---|
17 | % The University of Waterloo has required electronic thesis submission since October 2006. |
---|
18 | % See the uWaterloo thesis regulations at |
---|
19 | % https://uwaterloo.ca/graduate-studies/thesis. |
---|
20 | % This thesis template is geared towards generating a PDF version optimized for viewing on an electronic display, including hyperlinks within the PDF. |
---|
21 | |
---|
22 | % DON'T FORGET TO ADD YOUR OWN NAME AND TITLE in the "hyperref" package configuration below. |
---|
23 | % Search for: PDFTITLE, PDFAUTHOR, PDFSUBJECT, and PDFKEYWORDS. |
---|
24 | % THIS INFORMATION GETS EMBEDDED IN THE FINAL PDF DOCUMENT. |
---|
25 | % You can view the information if you view properties of the PDF document. |
---|
26 | |
---|
27 | % Many faculties/departments also require one or more printed copies. |
---|
28 | % This template attempts to satisfy both types of output. |
---|
29 | % See additional notes below. |
---|
30 | % It is based on the standard "book" document class which provides all necessary sectioning structures and allows multi-part theses. |
---|
31 | |
---|
32 | % If you are using this template in Overleaf (cloud-based collaboration service), then it is automatically processed and previewed for you as you edit. |
---|
33 | |
---|
34 | % For people who prefer to install their own LaTeX distributions on their own computers, and process the source files manually, the following notes provide the sequence of tasks: |
---|
35 | |
---|
36 | % E.g. to process a thesis called "mythesis.tex" based on this template, run: |
---|
37 | |
---|
38 | % pdflatex mythesis -- first pass of the pdflatex processor |
---|
39 | % bibtex mythesis -- generates bibliography from .bib data file(s) |
---|
40 | % makeindex -- should be run only if an index is used |
---|
41 | % pdflatex mythesis -- fixes numbering in cross-references, bibliographic references, glossaries, index, etc. |
---|
42 | % pdflatex mythesis -- it takes a couple of passes to completely process all cross-references |
---|
43 | |
---|
44 | % If you use the recommended LaTeX editor, Texmaker, you would open the mythesis.tex file, then click the PDFLaTeX button. Then run BibTeX (under the Tools menu). |
---|
45 | % Then click the PDFLaTeX button two more times. |
---|
46 | % If you have an index as well,you'll need to run MakeIndex from the Tools menu as well, before running pdflatex |
---|
47 | % the last two times. |
---|
48 | |
---|
49 | % N.B. The "pdftex" program allows graphics in the following formats to be included with the "\includegraphics" command: PNG, PDF, JPEG, TIFF |
---|
50 | % Tip: Generate your figures and photos in the size you want them to appear in your thesis, rather than scaling them with \includegraphics options. |
---|
51 | % Tip: Any drawings you do should be in scalable vector graphic formats: SVG, PNG, WMF, EPS and then converted to PNG or PDF, so they are scalable in the final PDF as well. |
---|
52 | % Tip: Photographs should be cropped and compressed so as not to be too large. |
---|
53 | |
---|
54 | % To create a PDF output that is optimized for double-sided printing: |
---|
55 | % 1) comment-out the \documentclass statement in the preamble below, and un-comment the second \documentclass line. |
---|
56 | % 2) change the value assigned below to the boolean variable "PrintVersion" from " false" to "true". |
---|
57 | |
---|
58 | %====================================================================== |
---|
59 | % D O C U M E N T P R E A M B L E |
---|
60 | % Specify the document class, default style attributes, and page dimensions, etc. |
---|
61 | % For hyperlinked PDF, suitable for viewing on a computer, use this: |
---|
62 | \documentclass[letterpaper,12pt,titlepage,oneside,final]{book} |
---|
63 | |
---|
64 | % For PDF, suitable for double-sided printing, change the PrintVersion variable below to "true" and use this \documentclass line instead of the one above: |
---|
65 | %\documentclass[letterpaper,12pt,titlepage,openright,twoside,final]{book} |
---|
66 | |
---|
67 | % Some LaTeX commands I define for my own nomenclature. |
---|
68 | % If you have to, it's easier to make changes to nomenclature once here than in a million places throughout your thesis! |
---|
69 | \newcommand{\package}[1]{\textbf{#1}} % package names in bold text |
---|
70 | \newcommand{\cmmd}[1]{\textbackslash\texttt{#1}} % command name in tt font |
---|
71 | \newcommand{\href}[1]{#1} % does nothing, but defines the command so the print-optimized version will ignore \href tags (redefined by hyperref pkg). |
---|
72 | %\newcommand{\texorpdfstring}[2]{#1} % does nothing, but defines the command |
---|
73 | % Anything defined here may be redefined by packages added below... |
---|
74 | |
---|
75 | % This package allows if-then-else control structures. |
---|
76 | \usepackage{ifthen} |
---|
77 | \newboolean{PrintVersion} |
---|
78 | \setboolean{PrintVersion}{false} |
---|
79 | % CHANGE THIS VALUE TO "true" as necessary, to improve printed results for hard copies by overriding some options of the hyperref package, called below. |
---|
80 | |
---|
81 | %\usepackage{nomencl} % For a nomenclature (optional; available from ctan.org) |
---|
82 | \usepackage{amsmath,amssymb,amstext} % Lots of math symbols and environments |
---|
83 | |
---|
84 | \usepackage{tikz} % for diagrams and figures |
---|
85 | \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} |
---|
86 | \usepackage{subcaption} |
---|
87 | \usepackage{fullpage,times,comment} |
---|
88 | \usepackage{textcomp} |
---|
89 | \usepackage{graphicx} |
---|
90 | \usepackage{tabularx} |
---|
91 | \input{style} |
---|
92 | |
---|
93 | % Hyperlinks make it very easy to navigate an electronic document. |
---|
94 | % In addition, this is where you should specify the thesis title and author as they appear in the properties of the PDF document. |
---|
95 | % Use the "hyperref" package |
---|
96 | % N.B. HYPERREF MUST BE THE LAST PACKAGE LOADED; ADD ADDITIONAL PKGS ABOVE |
---|
97 | \usepackage[dvips,pagebackref=false]{hyperref} % with basic options |
---|
98 | \hypersetup{ |
---|
99 | plainpages=false, % needed if Roman numbers in frontpages |
---|
100 | unicode=false, % non-Latin characters in Acrobat's bookmarks |
---|
101 | pdftoolbar=true, % show Acrobat's toolbar? |
---|
102 | pdfmenubar=true, % show Acrobat's menu? |
---|
103 | pdffitwindow=false, % window fit to page when opened |
---|
104 | pdfstartview={FitH}, % fits the width of the page to the window |
---|
105 | pdftitle={High Level Concurrency in \CFA}, |
---|
106 | pdfauthor={Colby Parsons}, |
---|
107 | pdfsubject={Cforall}, |
---|
108 | % pdfkeywords={keyword1} {key2} {key3}, % list of keywords, and uncomment this line if desired |
---|
109 | pdfnewwindow=true, % links in new window |
---|
110 | colorlinks=true, % false: boxed links; true: colored links |
---|
111 | linkcolor=blue, % color of internal links |
---|
112 | citecolor=green, % color of links to bibliography |
---|
113 | filecolor=magenta, % color of file links |
---|
114 | urlcolor=cyan % color of external links |
---|
115 | } |
---|
116 | \ifthenelse{\boolean{PrintVersion}}{ % for improved print quality, change some hyperref options |
---|
117 | \hypersetup{ % override some previously defined hyperref options |
---|
118 | % colorlinks,% |
---|
119 | citecolor=black,% |
---|
120 | filecolor=black,% |
---|
121 | linkcolor=black,% |
---|
122 | urlcolor=black} |
---|
123 | }{} % end of ifthenelse (no else) |
---|
124 | |
---|
125 | % \usepackage[acronym]{glossaries} |
---|
126 | \usepackage[automake,toc,abbreviations]{glossaries-extra} % Exception to the rule of hyperref being the last add-on package |
---|
127 | % If glossaries-extra is not in your LaTeX distribution, get it from CTAN (http://ctan.org/pkg/glossaries-extra), |
---|
128 | % although it's supposed to be in both the TeX Live and MikTeX distributions. There are also documentation and |
---|
129 | % installation instructions there. |
---|
130 | |
---|
131 | % Setting up the page margins... |
---|
132 | % uWaterloo thesis requirements specify a minimum of 1 inch (72pt) margin at the |
---|
133 | % top, bottom, and outside page edges and a 1.125 in. (81pt) gutter margin (on binding side). |
---|
134 | % 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. |
---|
135 | % Set margins to minimum permitted by uWaterloo thesis regulations: |
---|
136 | \setlength{\marginparwidth}{0pt} % width of margin notes |
---|
137 | % N.B. If margin notes are used, you must adjust \textwidth, \marginparwidth |
---|
138 | % and \marginparsep so that the space left between the margin notes and page |
---|
139 | % edge is less than 15 mm (0.6 in.) |
---|
140 | \setlength{\marginparsep}{0pt} % width of space between body text and margin notes |
---|
141 | \setlength{\evensidemargin}{0.125in} % Adds 1/8 in. to binding side of all |
---|
142 | % even-numbered pages when the "twoside" printing option is selected |
---|
143 | \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 |
---|
144 | \setlength{\textwidth}{6.375in} % assuming US letter paper (8.5 in. x 11 in.) and side margins as above |
---|
145 | \raggedbottom |
---|
146 | |
---|
147 | % The following statement specifies the amount of space between paragraphs. Other reasonable specifications are \bigskipamount and \smallskipamount. |
---|
148 | \setlength{\parskip}{\medskipamount} |
---|
149 | |
---|
150 | % The following statement controls the line spacing. |
---|
151 | % The default spacing corresponds to good typographic conventions and only slight changes (e.g., perhaps "1.2"), if any, should be made. |
---|
152 | \renewcommand{\baselinestretch}{1} % this is the default line space setting |
---|
153 | |
---|
154 | % By default, each chapter will start on a recto (right-hand side) page. |
---|
155 | % We also force each section of the front pages to start on a recto page by inserting \cleardoublepage commands. |
---|
156 | % In many cases, this will require that the verso (left-hand) page be blank, and while it should be counted, a page number should not be printed. |
---|
157 | % The following statements ensure a page number is not printed on an otherwise blank verso page. |
---|
158 | \let\origdoublepage\cleardoublepage |
---|
159 | \newcommand{\clearemptydoublepage}{% |
---|
160 | \clearpage{\pagestyle{empty}\origdoublepage}} |
---|
161 | \let\cleardoublepage\clearemptydoublepage |
---|
162 | |
---|
163 | % Define Glossary terms (This is properly done here, in the preamble and could also be \input{} from a separate file...) |
---|
164 | \input{glossary} |
---|
165 | \makeglossaries |
---|
166 | |
---|
167 | %====================================================================== |
---|
168 | % L O G I C A L D O C U M E N T |
---|
169 | % The logical document contains the main content of your thesis. |
---|
170 | % Being a large document, it is a good idea to divide your thesis into several files, each one containing one chapter or other significant chunk of content, so you can easily shuffle things around later if desired. |
---|
171 | %====================================================================== |
---|
172 | \begin{document} |
---|
173 | \newtheorem{theorem}{Theorem} |
---|
174 | |
---|
175 | %---------------------------------------------------------------------- |
---|
176 | % FRONT MATERIAL |
---|
177 | % title page,declaration, borrowers' page, abstract, acknowledgements, |
---|
178 | % dedication, table of contents, list of tables, list of figures, nomenclature, etc. |
---|
179 | %---------------------------------------------------------------------- |
---|
180 | \input{frontpgs} |
---|
181 | |
---|
182 | %---------------------------------------------------------------------- |
---|
183 | % MAIN BODY |
---|
184 | % We suggest using a separate file for each chapter of your thesis. |
---|
185 | % Start each chapter file with the \chapter command. |
---|
186 | % Only use \documentclass or \begin{document} and \end{document} commands in this master document. |
---|
187 | % Tip: Putting each sentence on a new line is a way to simplify later editing. |
---|
188 | %---------------------------------------------------------------------- |
---|
189 | \input{intro} |
---|
190 | |
---|
191 | \input{CFA_intro} |
---|
192 | |
---|
193 | \input{CFA_concurrency} |
---|
194 | |
---|
195 | \input{mutex_stmt} |
---|
196 | |
---|
197 | \input{channels} |
---|
198 | |
---|
199 | \input{actors} |
---|
200 | |
---|
201 | %---------------------------------------------------------------------- |
---|
202 | % END MATERIAL |
---|
203 | % Bibliography, Appendices, Index, etc. |
---|
204 | %---------------------------------------------------------------------- |
---|
205 | |
---|
206 | % Bibliography |
---|
207 | |
---|
208 | % The following statement selects the style to use for references. |
---|
209 | % It controls the sort order of the entries in the bibliography and also the formatting for the in-text labels. |
---|
210 | \bibliographystyle{plain} |
---|
211 | % This specifies the location of the file containing the bibliographic information. |
---|
212 | % It assumes you're using BibTeX to manage your references (if not, why not?). |
---|
213 | \cleardoublepage % This is needed if the "book" document class is used, to place the anchor in the correct page, because the bibliography will start on its own page. |
---|
214 | % Use \clearpage instead if the document class uses the "oneside" argument |
---|
215 | \phantomsection % With hyperref package, enables hyperlinking from the table of contents to bibliography |
---|
216 | % The following statement causes the title "References" to be used for the bibliography section: |
---|
217 | \renewcommand*{\bibname}{References} |
---|
218 | |
---|
219 | % Add the References to the Table of Contents |
---|
220 | \addcontentsline{toc}{chapter}{\textbf{References}} |
---|
221 | |
---|
222 | \bibliography{pl,local} |
---|
223 | % Tip: You can create multiple .bib files to organize your references. |
---|
224 | % Just list them all in the \bibliogaphy command, separated by commas (no spaces). |
---|
225 | |
---|
226 | % The following statement causes the specified references to be added to the bibliography even if they were not cited in the text. |
---|
227 | % The asterisk is a wildcard that causes all entries in the bibliographic database to be included (optional). |
---|
228 | % \nocite{*} |
---|
229 | %---------------------------------------------------------------------- |
---|
230 | |
---|
231 | % Appendices |
---|
232 | |
---|
233 | % The \appendix statement indicates the beginning of the appendices. |
---|
234 | % \appendix |
---|
235 | % % Add an un-numbered title page before the appendices and a line in the Table of Contents |
---|
236 | % \chapter*{APPENDICES} |
---|
237 | % \addcontentsline{toc}{chapter}{APPENDICES} |
---|
238 | % % Appendices are just more chapters, with different labeling (letters instead of numbers). |
---|
239 | % \input{appendix-matlab_plots.tex} |
---|
240 | |
---|
241 | % GLOSSARIES (Lists of definitions, abbreviations, symbols, etc. provided by the glossaries-extra package) |
---|
242 | % ----------------------------- |
---|
243 | \printglossary |
---|
244 | \cleardoublepage |
---|
245 | \phantomsection % allows hyperref to link to the correct page |
---|
246 | |
---|
247 | %---------------------------------------------------------------------- |
---|
248 | \end{document} % end of logical document |
---|