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} |
---|