7 \usepackage{amsmath} |
7 \usepackage{amsmath} |
8 \usepackage{amssymb} |
8 \usepackage{amssymb} |
9 \usepackage{mathpartir} |
9 \usepackage{mathpartir} |
10 \usepackage{tikz} |
10 \usepackage{tikz} |
11 \usepackage{pgf} |
11 \usepackage{pgf} |
12 %\usetikzlibrary{arrows,automata,decorations,fit,calc} |
|
13 %\usetikzlibrary{shapes,shapes.arrows,snakes,positioning} |
|
14 %\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf |
|
15 %\usetikzlibrary{matrix} |
|
16 \usepackage{pdfsetup} |
12 \usepackage{pdfsetup} |
17 \usepackage{ot1patch} |
13 \usepackage{ot1patch} |
18 \usepackage{times} |
14 \usepackage{times} |
19 %%\usepackage{proof} |
|
20 %%\usepackage{mathabx} |
|
21 \usepackage{stmaryrd} |
15 \usepackage{stmaryrd} |
22 \usepackage{url} |
16 \usepackage{url} |
23 \usepackage{color} |
17 \usepackage{color} |
24 %%%\titlerunning{Proving the Priority Inheritance Protocol Correct} |
18 \usepackage{courier} |
25 |
19 \usepackage{listings} |
|
20 \lstset{language=C, |
|
21 numbers=left, |
|
22 basicstyle=\small\ttfamily, |
|
23 numberstyle=\footnotesize, frame=tb} |
26 |
24 |
27 \urlstyle{rm} |
25 \urlstyle{rm} |
28 \isabellestyle{it} |
26 \isabellestyle{it} |
29 \renewcommand{\isastyleminor}{\it}% |
27 \renewcommand{\isastyleminor}{\it}% |
30 \renewcommand{\isastyle}{\normalsize\it}% |
28 \renewcommand{\isastyle}{\normalsize\it}% |
31 |
29 |
32 |
30 %%%\titlerunning{Proving the Priority Inheritance Protocol Correct} |
33 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
31 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
34 \renewcommand{\isasymequiv}{$\dn$} |
32 \renewcommand{\isasymequiv}{$\dn$} |
35 \renewcommand{\isasymemptyset}{$\varnothing$} |
33 \renewcommand{\isasymemptyset}{$\varnothing$} |
36 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
34 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
37 \renewcommand{\isasymiota}{} |
35 \renewcommand{\isasymiota}{} |