equal
deleted
inserted
replaced
29 |
29 |
30 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
30 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
31 \renewcommand{\isasymequiv}{$\dn$} |
31 \renewcommand{\isasymequiv}{$\dn$} |
32 \renewcommand{\isasymemptyset}{$\varnothing$} |
32 \renewcommand{\isasymemptyset}{$\varnothing$} |
33 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
33 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
34 |
|
35 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}} |
|
36 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}} |
|
37 \renewcommand{\isasymiota}{} |
34 \renewcommand{\isasymiota}{} |
38 |
35 |
39 \newcommand{\bigplus}{\mbox{\Large\bf$+$}} |
36 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}} |
|
37 |
|
38 |
40 \begin{document} |
39 \begin{document} |
41 |
40 |
42 \title{Priority Inheritance Protocol Proved Correct} |
41 \title{Priority Inheritance Protocol Proved Correct} |
43 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}} |
42 \author{Xingyuan Zhang\inst{1} \and Christian Urban\inst{2} \and Chunhan Wu\inst{1}} |
44 \institute{PLA University of Science and Technology, China \and |
43 \institute{PLA University of Science and Technology, China \and |