equal
deleted
inserted
replaced
46 %\newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}} |
46 %\newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}} |
47 |
47 |
48 |
48 |
49 \begin{document} |
49 \begin{document} |
50 \renewcommand{\thefootnote}{$\star$} |
50 \renewcommand{\thefootnote}{$\star$} |
51 \footnotetext[1]{This is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.} |
51 \footnotetext[1]{This paper is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.} |
52 \renewcommand{\thefootnote}{\arabic{footnote}} |
52 \renewcommand{\thefootnote}{\arabic{footnote}} |
53 |
53 |
54 \title{Priority Inheritance Protocol Proved Correct} |
54 \title{Priority Inheritance Protocol Proved Correct} |
55 \author{Xingyuan Zhang$^1$, Christian Urban$^2$ and Chunhan Wu$^1$} |
55 \author{Xingyuan Zhang$^1$, Christian Urban$^2$ and Chunhan Wu$^1$} |
56 \institute{PLA University of Science and Technology, China \and |
56 \institute{PLA University of Science and Technology, China \and |