source: doc/theses/colby_parsons_MMAth/thesis.tex @ 6e83384

ADTast-experimental
Last change on this file since 6e83384 was 6e83384, checked in by caparsons <caparson@…>, 20 months ago

did more editing, finished first draft of mutex stmt and channel chapters, added brief intro

  • Property mode set to 100644
File size: 4.7 KB
Line 
1% requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended
2
3% inline code �...� (copyright symbol) emacs: C-q M-)
4% red highlighting �...� (registered trademark symbol) emacs: C-q M-.
5% blue highlighting �...� (sharp s symbol) emacs: C-q M-_
6% green highlighting �...� (cent symbol) emacs: C-q M-"
7% LaTex escape �...� (section symbol) emacs: C-q M-'
8% keyword escape �...� (pilcrow symbol) emacs: C-q M-^
9% math escape $...$ (dollar symbol)
10
11\documentclass[letterpaper,12pt,titlepage,oneside,final]{book}
12
13%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
14
15% Latex packages used in the document.
16\usepackage[T1]{fontenc}                                        % allow Latin1 (extended ASCII) characters
17\usepackage{textcomp}
18\usepackage[latin1]{inputenc}
19\usepackage{fullpage,times,comment}
20\usepackage{epic,eepic}
21\usepackage{upquote}                                            % switch curled `'" to straight
22\usepackage{dirtytalk}
23\usepackage{calc}
24\usepackage{xspace}
25% \usepackage[labelformat=simple]{subfig}
26% \renewcommand{\thesubfigure}{(\alph{subfigure})}
27\usepackage{subcaption}
28% \usepackage{subfigure}
29\usepackage{graphicx}
30\usepackage{tabularx}
31\usepackage{multicol}
32\usepackage[acronym]{glossaries}
33\usepackage{varioref}
34\usepackage{listings}                                           % format program code
35\usepackage[flushmargin]{footmisc}                              % support label/reference in footnote
36\usepackage{latexsym}                                           % \Box glyph
37\usepackage{mathptmx}                                           % better math font with "times"
38\usepackage[usenames]{color}
39\usepackage[pagewise]{lineno}
40\renewcommand{\linenumberfont}{\scriptsize\sffamily}
41\usepackage{fancyhdr}
42\usepackage{float}
43\usepackage{siunitx}
44\sisetup{ binary-units=true }
45\input{style}                                                   % bespoke macros used in the document
46\usepackage{url}
47\usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
48\usepackage{breakurl}
49\urlstyle{rm}
50
51\usepackage{tikz}
52\def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}
53
54\setlength{\topmargin}{-0.45in}                         % move running title into header
55\setlength{\headsep}{0.25in}
56
57\newsavebox{\myboxA}                                    % used with subfigure
58\newsavebox{\myboxB}
59
60%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
61
62% Names used in the document.
63
64\newcommand{\Version}{1.0.0}
65\newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace}
66
67\newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}}
68\newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}}
69\newcommand{\R}[1]{\Textbf{#1}}
70\newcommand{\B}[1]{{\Textbf[blue]{#1}}}
71\newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}}
72\newcommand{\uC}{$\mu$\CC}
73\newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace}
74\newcommand{\TODO}{{\Textbf{TODO}}}
75
76\input{glossary}
77
78\newsavebox{\LstBox}
79
80%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
81
82\setcounter{secnumdepth}{2}                           % number subsubsections
83\setcounter{tocdepth}{2}                              % subsubsections in table of contents
84% \linenumbers                                          % comment out to turn off line numbering
85\makeindex
86\pagestyle{fancy}
87\fancyhf{}
88\cfoot{\thepage}
89\rfoot{v\input{version}}
90
91
92
93%======================================================================
94%   L O G I C A L    D O C U M E N T -- the content of your thesis
95%======================================================================
96\begin{document}
97\newtheorem{theorem}{Theorem}
98
99% For a large document, it is a good idea to divide your thesis
100% into several files, each one containing one chapter.
101% To illustrate this idea, the "front pages" (i.e., title page,
102% declaration, borrowers' page, abstract, acknowledgements,
103% dedication, table of contents, list of tables, list of figures,
104% nomenclature) are contained within the file "thesis-frontpgs.tex" which is
105% included into the document by the following statement.
106%----------------------------------------------------------------------
107% FRONT MATERIAL
108%----------------------------------------------------------------------
109\input{frontpgs}
110
111%----------------------------------------------------------------------
112% MAIN BODY
113%----------------------------------------------------------------------
114
115\input{intro}
116
117\input{CFA_intro}
118
119\input{CFA_concurrency}
120
121\input{mutex_stmt}
122
123\input{channels}
124
125\input{actors}
126
127\clearpage
128
129% B I B L I O G R A P H Y
130% -----------------------------
131\addcontentsline{toc}{chapter}{Bibliography}
132\bibliographystyle{plain}
133\bibliography{pl,local}
134\cleardoublepage
135\phantomsection         % allows hyperref to link to the correct page
136
137% G L O S S A R Y
138% -----------------------------
139\addcontentsline{toc}{chapter}{Glossary}
140\printglossary
141\cleardoublepage
142\phantomsection         % allows hyperref to link to the correct page
143
144
145\end{document}
Note: See TracBrowser for help on using the repository browser.