-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy paththesis.tex
75 lines (60 loc) · 1.87 KB
/
thesis.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
\documentclass[a4paper,11pt,twoside,openright]{report}
\usepackage[left=2cm,right=2cm,top=2cm,bottom=3cm]{geometry}
\usepackage{xspace}
\usepackage{listings}
\usepackage{color}
\usepackage[backref]{hyperref}
\usepackage[fleqn]{amsmath}
\usepackage{amsmath,amsfonts,amssymb,stmaryrd}
\usepackage{fancybox}
\usepackage{subfigure}
\usepackage{multirow}
\usepackage[table,xcdraw]{xcolor}
\usepackage[utf8]{inputenc}
\include{thesis.preamble}
\input{keywordstyle.sty}
\begin{document}
\englishTitle{\bcool: the Behavioral Coordination Operator Language}
\frenchTitle{\bcool: Un Metalangage pour la Spécification des Opérateurs de Coordination des Langages}
\author{\LARGE Matias Ezequiel \textsc{Vara Larsen}}
\director{Fr\'ed\'eric \textsc{Mallet}}
\directorTitle{M.C.}
\directorAffiliation{INRIA/I3S-CNRS}
\reviewerOne{Olivier Barais}
\reviewerOneTitle{Prof.}
\reviewerOneAffiliation{Universit\'e de Rennes 1}
\reviewerTwo{Sébastien Gérard}
\reviewerTwoTitle{Dr.}
\reviewerTwoAffiliation{CEA LIST}
\examinerOne{Bruel Jean-Michel}
\examinerOneTitle{Prof.}
\examinerOneAffiliation{Universit\'e de Toulouse 2}
%\examinerTwo{}
%\examinerTwoTitle{}
%\examinerTwoAffiliation{}
\supervisor{Julien \textsc{DeAntoni}}
\supervisorTitle{M.C.}
\supervisorAffiliation{INRIA/I3S-CNRS}
\maketitletesis
\pagenumbering{roman}
\pagestyle{uheadings}
\input{abstract/abstract}
\input{acknowledgements/acknowledgements}
\input{dedication/dedication}
\input{quotes/quotes}
\body
\input{introduction/introduction}
\input{background/background}
\input{framework/framework}
\input{bcool/bcool}
\input{examples/examples}
% body of thesis comes here
\input{conclusion/conclusion}
%\appendix
% appendices come here
%\input{appendix/runningexamplelang}
%\input{appendix/expressionandrelations}
\addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{alpha}
\bibliography{bibliography/bibliography}
\end{document}